SyntaxMacros-0.2: pru.hs

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}

class A a b | a -> b where
 fa :: a -> b


instance A Bool Bool where
 fa b = b

instance A a a where
 fa a = a + 1