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

My mistake: instance Typeable a => Typeable (MVar a) where typeOf (x::MVar x) = mkAppTy (mkTyCon "Control.Concurrent.MVar.MVar") [typeOf (undefined::x)] Keean.