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

[Benjamin Franksen]

On Friday 05 November 2004 16:20, MR K P SCHUPKE wrote:
> nstance Typeable a => Typeable (MVar a) where
>   typeOf (x::x) =
>     mkAppTy (mkTyCon "Control.Concurrent.MVar.MVar") [typeOf
> (undefined::x)]

I may be missing something but this look like an open recursion to me. The 
type 'x' is 'MVar a', but what is needed is the 'a'.

Ben