T15801.hs:52:10: error: [GHC-18872]
    • Couldn't match representation of type: UnOp op_a -> UnOp b
                               with that of: op_a --> b
        arising from the head of a quantified constraint
        arising from the superclasses of an instance declaration
    • In the instance declaration for ‘OpRíki (Op (*))’