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

module ClassConstraints where

class C a where
    cee :: a

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