On Sunday 26 September 2010 12:53:46, Michael Snoyman wrote: > data MyStruct = forall a. MyTypeClass a => MyStruct {myField :: a} Note that that requires {-# LANGUAGE ExistentialQuantification #-}