1 2 3 4 5
T7545.hs:8:9: Method signature does not match class; it should be f :: forall b1. (a -> b) -> b1 In the instance declaration for ‛C (a -> b)’