> 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.