rightIdentity

MonadLaws

ringLaws

BaseProperties