úÎÛDsee LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com OrdCase x a b c reduces to a, b, or c, if x is LT, EQ, or  GT, respectively. Type-level comparison. see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com       type-ord-0.1 Type.Ord.BaseType.OrdIsGTIsLTIsEQOrdCaseGTEQLTCompareOrdCase_type-booleans-0.1 Type.BooleansTrueFalse