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 #-} _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe