úΫI#      !" experimentalconal@conal.net Safe-Inferred ,Types with inequality. Minimum definition: '(<*)'. *Types with equality. Minimum definition: '(==*)'. Types with conditionals  1 computed the boolean analog of a specific type. Generalized boolean class 2Expression-lifted conditional with condition last Point-wise conditional !Generalized cropping, filling in # where the test yields false.  Variant of $ using   and '(<=*)'  Variant of % using   and '(>=*)'  Variant of $ and % using   and '(<=*)' 3 &'()*+,-./0123456789:;<=>?@A    '  &'()*+,-./0123456789:;<=>?@A Safe-Inferred  !"#  !"  !"  !"B      !"#$%&'()*$)*%+,-./0123456789:;<=>?@ABCDEFG Boolean-0.1.1 Data.BooleanData.Boolean.OverloadOrdB<*>=*>*<=*EqB==*/=*IfBifB BooleanOfBooleantruefalsenotB&&*||*booleancondcropminBmaxBsort2B&&||not ifThenElse==/=<><=>=minmaxbase Data.Monoidmemptyghc-prim GHC.Classesife $fOrdB(->) $fEqB(->) $fIfB(->) $fBoolean(->) $fIfB(,,,) $fIfB(,,)$fIfB(,)$fIfB[] $fOrdBChar $fEqBChar $fIfBChar $fOrdBBool $fEqBBool $fIfBBool $fOrdBDouble $fEqBDouble $fIfBDouble $fOrdBFloat $fEqBFloat $fIfBFloat $fOrdBInteger $fEqBInteger $fIfBInteger $fOrdBInt$fEqBInt$fIfBInt $fBooleanBool