class F a b | a -> b

    instance F Int Bool

    class D a where { op :: (F a b) => a -> b } 

    instance (TypeCast Bool b') => D Int where { op _ = typeCast True }

That dangling `b'` in the constraint is weird. Anyhow: compiles in Hugs, doesn't in GHC. Unless someone here can persuade it?