1 2 3 4 5 6
-- !!! exporting a method (but not its class) module M where import Mod122_A f :: C a => a -> a f = m1