module Class where

data X

class C a where
    method :: a -> a