úÎî$)      !"#$%&'( 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 '(<=*)' ; ,-./0123456789:;<=>?@ABCDEFGHI   *  ,-./0123456789:;<=>?@ABCDEFGHI Safe-Inferred  !"#$%&'()  !"#$%&'(  !"#$%&'(  !"#$%&'(J      !"#$%&'()*+,-./0*/0+123456789:;<=>?@ABCDEFGHIJKLMNO Boolean-0.1.2 Data.BooleanData.Boolean.Overload RealFloatBisNaN isInfiniteisNegativeZeroisIEEEatan2OrdB<*>=*>*<=*EqB==*/=*IfBifB BooleanOfBooleantruefalsenotB&&*||*booleancondcropminBmaxBsort2B&&||not ifThenElse==/=<><=>=minmaxbase Data.Monoidmemptyghc-prim GHC.Classesife $fOrdB(->) $fEqB(->) $fIfB(->) $fBoolean(->) $fIfB(,,,) $fIfB(,,)$fIfB(,)$fIfB[]$fRealFloatBDouble$fRealFloatBFloat $fOrdBChar $fEqBChar $fIfBChar $fOrdBBool $fEqBBool $fIfBBool $fOrdBDouble $fEqBDouble $fIfBDouble $fOrdBFloat $fEqBFloat $fIfBFloat $fOrdBInteger $fEqBInteger $fIfBInteger $fOrdBInt$fEqBInt$fIfBInt $fBooleanBool