Thorsten Altenkirch Paul Blain Levy Sam Staton Higher-Order Containers. 11-20 2010 CiE http://dx.doi.org/10.1007/978-3-642-13962-8_2 conf/cie/2010 db/conf/cie/cie2010.html#AltenkirchLS10