Johan Nordlander Polymorphic subtyping in O'Haskell. 93-127 2002 43 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/S0167-6423(02)00026-6 db/journals/scp/scp43.html#Nordlander02