Or is the `Plus` instance lawful?