Re: [Haskell-cafe] Multi-Class monadic type?

On 3 February 2010 13:10, Alexander Treptow wrote:

I need a data type that creates a record with a member that has no fixed type, because its not known at compile-time.

A type unknown at compile-type pretty much defines a dynamic type, so how about Data.Dynamic? Although Data.Dynamic uses unsafePerformIO there are other ways of encoding dynamic types that don't. Best wishes Stephen