úÎrsee LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com Safe-InferredOrdCase 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.comNone type-ord-0.2 Type.Ord.BaseType.OrdIsGTIsLTIsEQOrdCaseCompareOrdCase_