FunctorLaws

algebird

fieldLaws

BaseProperties

fnArb

MonadLaws

functorLaws

FunctorLaws