Chris Okasaki From Fast Exponentiation to Square Matrices: An Adventure in Types. 28-35 1999 ICFP http://doi.acm.org/10.1145/317636.317781 db/conf/icfp/icfp99.html#Okasaki99