module Foo1 where

-- Variant: ill-kinded. 
class XClass a where
 xFun :: a -> XData
 
data XData = XCon XClass
