lastArb
arbitrary
lastGen
gen
law
PredecessibleLaws
SuccessibleLaws
leftIdentity
MonadLaws
leftIdentityEquiv
MonadLaws
lowerIntArb
IntervalArb