{-# LANGUAGE Haskell2010 #-}
-- !!! Class variable constraints on member funs
module M where
class C a where f :: Eq a => a