leftIdentity

MonadLaws