fieldLaws

BaseProperties

fnArb

MonadLaws