Karl-Filip Faxén A static semantics for Haskell. 295-357 2002 12 J. Funct. Program. 4&5 db/journals/jfp/jfp12.html#Faxen02