+instance Ord (Int, Int, Int, Int)
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq (Int, Int, Int, Int)}}, ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> (Int, Int, Int, Int)), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> (Int, Int, Int, Int)), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> _CMP_TAG)] [_DFUN_ Eq ((Int, Int, Int, Int)), _CONSTM_ Ord (<) ((Int, Int, Int, Int)), _CONSTM_ Ord (<=) ((Int, Int, Int, Int)), _CONSTM_ Ord (>=) ((Int, Int, Int, Int)), _CONSTM_ Ord (>) ((Int, Int, Int, Int)), _CONSTM_ Ord max ((Int, Int, Int, Int)), _CONSTM_ Ord min ((Int, Int, Int, Int)), _CONSTM_ Ord _tagCmp ((Int, Int, Int, Int))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 22222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 22222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ } #-}