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