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