Control.RichConditional
class TotalIf a b c
class PartialIf a b
ifElse
inCase
ensure
ensurePositive
ensureNegative