Data.Singletons.Prelude.Ord
class POrd kproxy
class SOrd a
data family Sing (a :: k)
data ThenCmpSym0 l
data ThenCmpSym1 l l
type ThenCmpSym2 t t
type LTSym0
type EQSym0
type GTSym0
data CompareSym0 l
data CompareSym1 l l
type CompareSym2 t t
data (:<$) l
data l :<$$ l
type t :<$$$ t
data (:<=$) l
data l :<=$$ l
type t :<=$$$ t
data (:>$) l
data l :>$$ l
type t :>$$$ t
data (:>=$) l
data l :>=$$ l
type t :>=$$$ t
data MaxSym0 l
data MaxSym1 l l
type MaxSym2 t t
data MinSym0 l
data MinSym1 l l
type MinSym2 t t