1 2 3 4
T10899.hs:7:3: error: Illegal polymorphic or qualified type: forall (m1 :: * -> *). m1 a In the class declaration for āCā