==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 76, types: 37, coercions: 0, joins: 0/0}

-- RHS size: {terms: 14, types: 7, coercions: 0, joins: 0/0}
T22375.$fEqX_$c== :: X -> X -> Bool
[GblId,
 Arity=2,
 Str=<SL><SL>,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)}]
T22375.$fEqX_$c==
  = \ (a :: X) (b :: X) ->
      case GHC.Prim.dataToTag# @X a of a# { __DEFAULT ->
      case GHC.Prim.dataToTag# @X b of b# { __DEFAULT ->
      GHC.Prim.tagToEnum# @Bool (GHC.Prim.==# a# b#)
      }
      }

-- RHS size: {terms: 18, types: 7, coercions: 0, joins: 0/0}
T22375.$fEqX_$c/= [InlPrag=INLINE (sat-args=2)] :: X -> X -> Bool
[GblId,
 Arity=2,
 Str=<SL><SL>,
 Unf=Unf{Src=StableUser, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)}]
T22375.$fEqX_$c/=
  = \ (eta :: X) (eta1 :: X) ->
      case GHC.Prim.dataToTag# @X eta of a# { __DEFAULT ->
      case GHC.Prim.dataToTag# @X eta1 of b# { __DEFAULT ->
      case GHC.Prim.==# a# b# of {
        __DEFAULT -> GHC.Types.True;
        1# -> GHC.Types.False
      }
      }
      }

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
T22375.$fEqX [InlPrag=CONLIKE] :: Eq X
[GblId[DFunId],
 Unf=DFun: \ ->
       GHC.Classes.C:Eq TYPE: X T22375.$fEqX_$c== T22375.$fEqX_$c/=]
T22375.$fEqX
  = GHC.Classes.C:Eq @X T22375.$fEqX_$c== T22375.$fEqX_$c/=

-- RHS size: {terms: 24, types: 3, coercions: 0, joins: 0/0}
T22375.$wf [InlPrag=[2]] :: X -> GHC.Prim.Int# -> GHC.Prim.Int#
[GblId[StrictWorker([!])],
 Arity=2,
 Str=<1L><L>,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [64 0] 55 0}]
T22375.$wf
  = \ (x :: X) (ww :: GHC.Prim.Int#) ->
      case x of {
        A -> GHC.Prim.+# 1# ww;
        B -> GHC.Prim.+# 2# ww;
        C -> GHC.Prim.+# 3# ww;
        D -> GHC.Prim.+# 4# ww;
        E -> GHC.Prim.+# 5# ww
      }

-- RHS size: {terms: 12, types: 5, coercions: 0, joins: 0/0}
f [InlPrag=[2]] :: X -> Int -> Int
[GblId,
 Arity=2,
 Str=<1L><1!P(L)>,
 Cpr=1,
 Unf=Unf{Src=StableSystem, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)}]
f = \ (x :: X) (v :: Int) ->
      case v of { GHC.Types.I# ww ->
      case T22375.$wf x ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 }
      }