@@ -529,23 +529,6 @@ instance Universe (Some appRoute) => Universe (Some (ObeliskRoute appRoute)) whe
529529 , mapSome ObeliskRoute_Resource <$> universe
530530 ]
531531
532−{-
533−instance GCompare appRoute => GCompare (ObeliskRoute appRoute) where
534− gcompare a b = case (a, b) of
535− (ObeliskRoute_App aa, ObeliskRoute_App ab) -> gcompare aa ab
536− (ObeliskRoute_App _, ObeliskRoute_Resource) -> GLT
537− (ObeliskRoute_Resource, ObeliskRoute_App _) -> GGT
538− (ObeliskRoute_Resource, ObeliskRoute_Resource) -> GEQ
539−
540−instance GEq appRoute => GEq (ObeliskRoute appRoute) where
541− geq a b = case (a, b) of
542− (ObeliskRoute_App aa, ObeliskRoute_App ab) -> geq aa ab
543− (ObeliskRoute_App _, ObeliskRoute_Resource) -> Nothing
544− (ObeliskRoute_Resource, ObeliskRoute_App _) -> Nothing
545− (ObeliskRoute_Resource, ObeliskRoute_Resource) -> Just Refl
546−-}
547−
548−--TODO: Fix deriveGShow
549532instance GShow appRoute => GShow (ObeliskRoute appRoute) where
550533 gshowsPrec prec = \case
551534 ObeliskRoute_App appRoute -> showParen (prec > 10) $