class Boolean b

type family BooleanOf a

class IfB a

boolean

cond

crop

class EqB a

class OrdB a

minB

maxB

sort2B

guardedB

caseB