Stephanie Weirich Type-safe cast: functional pearl. 58-67 2000 ICFP http://doi.acm.org/10.1145/351240.351246 db/conf/icfp/icfp2000.html#Weirich00