path: root/testsuite/tests/typecheck/should_fail/tcfail147.hs

module Foo1 where

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