Parameters
discipline
PartialOrder
cats
propagateErrorsThroughBindAsync
AsyncLaws
propagateErrorsThroughBindSuspend
SyncLaws