haskell-names-0.5.1: tests/annotations/ClassConstraints.hs

module ClassConstraints where

class C a where
    cee :: a

class (C a) => D a where
    dee :: a