==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 69, types: 55, coercions: 0, joins: 1/1}

-- RHS size: {terms: 42, types: 25, coercions: 0, joins: 1/1}
T18328.$wf [InlPrag=[2]]
  :: forall {a}. GHC.Prim.Int# -> [a] -> [a] -> [a]
[GblId[StrictWorker([~, !])],
 Arity=3,
 Str=<SL><SL><ML>,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [176 0 0] 306 0}]
T18328.$wf
  = \ (@a) (ww :: GHC.Prim.Int#) (ys :: [a]) (eta :: [a]) ->
      join {
        $wj [InlPrag=NOINLINE, Dmd=MC(1,L)] :: forall {p}. (# #) -> [a]
        [LclId[JoinId(2)(Nothing)], Arity=1, Str=<A>, Unf=OtherCon []]
        $wj (@p) _ [Occ=Dead, OS=OneShot]
          = case ww of {
              __DEFAULT -> ++ @a ys (++ @a ys (++ @a ys eta));
              3# -> ++ @a ys (++ @a ys (++ @a ys (++ @a ys eta)))
            } } in
      case ww of {
        __DEFAULT -> ++ @a ys eta;
        1# -> jump $wj @Integer GHC.Prim.(##);
        2# -> jump $wj @Integer GHC.Prim.(##);
        3# -> jump $wj @Integer GHC.Prim.(##)
      }

-- RHS size: {terms: 11, types: 9, coercions: 0, joins: 0/0}
f [InlPrag=[2]] :: forall a. Int -> [a] -> [a] -> [a]
[GblId,
 Arity=3,
 Str=<1!P(SL)><SL><ML>,
 Unf=Unf{Src=StableSystem, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=False)
         Tmpl= \ (@a)
                 (x [Occ=Once1!] :: Int)
                 (ys [Occ=Once1] :: [a])
                 (eta [Occ=Once1] :: [a]) ->
                 case x of { GHC.Types.I# ww [Occ=Once1] ->
                 T18328.$wf @a ww ys eta
                 }}]
f = \ (@a) (x :: Int) (ys :: [a]) (eta :: [a]) ->
      case x of { GHC.Types.I# ww -> T18328.$wf @a ww ys eta }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T18328.$trModule4 :: GHC.Prim.Addr#
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [] 20 0}]
T18328.$trModule4 = "main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T18328.$trModule3 :: GHC.Types.TrName
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [] 10 10}]
T18328.$trModule3 = GHC.Types.TrNameS T18328.$trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T18328.$trModule2 :: GHC.Prim.Addr#
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [] 30 0}]
T18328.$trModule2 = "T18328"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T18328.$trModule1 :: GHC.Types.TrName
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [] 10 10}]
T18328.$trModule1 = GHC.Types.TrNameS T18328.$trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
T18328.$trModule :: GHC.Types.Module
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [] 10 10}]
T18328.$trModule
  = GHC.Types.Module T18328.$trModule3 T18328.$trModule1