[Haskell-cafe] type variable in class instance

[Stephen Tetley]

Whilst dynamic typing isn't idiomatic for Haskell, it seems like
you've decided you want it. So why not use Data.Dynamic rather than
roll you're own dynamic typing with Typeable?