[Haskell-cafe] Multi-Class monadic type?

[Stephen Tetley]

On 3 February 2010 13:10, Alexander Treptow
<alexander.treptow at googlemail.com> 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