[Haskell-cafe] Re: Generic types

What you want is a technique called "existential types". The wiki page is here: http://haskell.org/hawiki/ExistentialTypes

Thanks, I stumbled upon Existential Types earlier but ofcourse I tried to use them with labeled records.