Quickpull.Laws

monad

functor

applicative

monoid

associative

commutative

leftIdentity

rightIdentity