1 2 3 4 5 6 7 8 9
-- A.hs module T17871a (C(..)) where class C a where m :: a -> a m = identity identity :: a -> a identity x = x