Type.Ord.Base

type family Compare l r :: Ordering

type OrdCase x a b c

type IsEQ t

type IsLT t

type IsGT t