ApplicativeLaws

algebird

algebird

twitter

applicativeLaws

ApplicativeLaws

apply

DefaultHigherEq HigherEq

applyLaw

ApplicativeLaws

associative

MonadLaws