1 2 3 4 5 6 7
module Foo1 where -- Variant: ill-kinded. class XClass a where xFun :: a -> XData data XData = XCon XClass