law

PredecessibleLaws SuccessibleLaws

leftIdentity

MonadLaws