Koji Kagawa Polymorphic variants in Haskell. 37-47 2006 conf/haskell/2006 Haskell http://doi.acm.org/10.1145/1159842.1159848 db/conf/haskell/haskell2006.html#Kagawa06