Conor McBride Faking it: Simulating dependent types in Haskell. 375-392 2002 12 J. Funct. Program. 4&5 db/journals/jfp/jfp12.html#McBride02