core

weird :: Int %1 -> [Int]
[GblId,
 Arity=1,
 Str=<L>,
 Unf=Unf{Src=<vanilla>, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=IF_ARGS [0] 211 0}]
weird
  = \ (x1_a1gj :: Int) ->
      letrec {
        go3_X1E [Occ=LoopBreaker, Dmd=SCS(L)] :: Integer -> [Int]
        [LclId, Arity=1, Str=<1L>, Unf=OtherCon []]
        go3_X1E
          = \ (x2_a2te :: Integer) ->
              case x2_a2te of wild_a2tk {
                GHC.Num.Integer.IS x3_a2tl ->
                  case ghc-prim:GHC.Prim.># x3_a2tl 5# of {
                    __DEFAULT ->
                      ghc-prim:GHC.Types.:
                        @Int
                        x1_a1gj
                        (go3_X1E (GHC.Num.Integer.integerAdd wild_a2tk Main.main3));
                    1# -> ghc-prim:GHC.Types.[] @Int
                  };
                GHC.Num.Integer.IP x3_a2tq -> ghc-prim:GHC.Types.[] @Int;
                GHC.Num.Integer.IN x3_a2w4 ->
                  ghc-prim:GHC.Types.:
                    @Int
                    x1_a1gj
                    (go3_X1E (GHC.Num.Integer.integerAdd wild_a2tk Main.main3))
              }; } in
      go3_X1E Main.main3