==================== Initial STG: ====================
Noinline01.f [InlPrag=INLINE (sat-args=1)]
  :: forall {p}. p -> GHC.Types.Bool
[GblId, Arity=1, Str=<A>, Cpr=2, Unf=OtherCon []] =
    \r [eta] GHC.Types.True [];

Noinline01.g :: GHC.Types.Bool
[GblId] =
    \u [] Noinline01.f GHC.Types.False;

Noinline01.$trModule4 :: GHC.Prim.Addr#
[GblId, Unf=OtherCon []] =
    "main"#;

Noinline01.$trModule3 :: GHC.Types.TrName
[GblId, Unf=OtherCon []] =
    GHC.Types.TrNameS! [Noinline01.$trModule4];

Noinline01.$trModule2 :: GHC.Prim.Addr#
[GblId, Unf=OtherCon []] =
    "Noinline01"#;

Noinline01.$trModule1 :: GHC.Types.TrName
[GblId, Unf=OtherCon []] =
    GHC.Types.TrNameS! [Noinline01.$trModule2];

Noinline01.$trModule :: GHC.Types.Module
[GblId, Unf=OtherCon []] =
    GHC.Types.Module! [Noinline01.$trModule3 Noinline01.$trModule1];