[Haskell-cafe] Making MVar and Chan Instances of Typeable