1 2 3 4 5 6 7 8 9 10 11
-- re-exporting m2 outside of C(..) module Mod115_A( C(m1), m2) where class C a where m1 :: a -> Int m2 :: a -> Bool instance C Int where m1 _ = 1 m2 _ = True