úÎæ       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  using   and '(<=*)' 3  !"#$%&'()*+,-./012345    '   !"#$%&'()*+,-./0123456      !"#$%&'()*+,-./0123456789:;< Boolean-0.1.0 Data.BooleanOrdB<*>=*>*<=*EqB==*/=*IfBifB BooleanOfBooleantruefalsenotB&&*||*booleancondcropminBmaxBsort2Bbase Data.Monoidmemptyghc-prim GHC.Classesminmaxife $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