Ondrej Rypacek Roland Carl Backhouse Henrik Nilsson Type-theoretic design patterns. 13-22 2006 ICFP-WGP http://doi.acm.org/10.1145/1159861.1159864 conf/icfp/2006wgp db/conf/icfp/wgp2006.html#RypacekBN06