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