ghci___

ghci> False

==================== Simplified expression ====================
GHC.Base.thenIO
  @()
  @[()]
  (System.IO.print
     @GHC.Types.Bool GHC.Show.$fShowBool GHC.Types.False)
  (GHC.Base.returnIO
     @[()]
     (GHC.Types.:
        @()
        (case Unsafe.Coerce.unsafeEqualityProof @(*) @() @GHC.Types.Bool of
         { Unsafe.Coerce.UnsafeRefl v2_amz ->
         GHC.Types.False `cast` (Sub v2_amz :: GHC.Types.Bool ~R# ())
         })
        (GHC.Types.[] @())))



==================== Initial STG: ====================
BCO_toplevel_E0 :: GHC.Types.IO [()]
[LclId] =
    \u []
        let {
          sat_sQ2 :: GHC.Types.IO [()]
          [LclId] =
              \u []
                  let {
                    sat_sQ1 :: [()]
                    [LclId] =
                        :! [GHC.Types.False GHC.Types.[]];
                  } in  GHC.Base.returnIO sat_sQ1; } in
        let {
          sat_sQ0 :: GHC.Types.IO ()
          [LclId] =
              \u [] System.IO.print GHC.Show.$fShowBool GHC.Types.False;
        } in  GHC.Base.thenIO sat_sQ0 sat_sQ2;



==================== Proto-BCOs ====================
ProtoBCO BCO_toplevel_E0#0 []:
   \u [] let sat_sQ2 = ... in ...
   bitmap:  0 []
   ALLOC_AP    0
   PUSH_BCO
     ProtoBCO sat_sQ2#0 []:
        \u [] let sat_sQ1 = ... in ...
        bitmap:  0 []
        PUSH_G   GHC.Types.[]
        PUSH_G   GHC.Types.False
        PACK     : 2
        PUSH_L   0
        PUSH_APPLY_P
        PUSH_G   GHC.Base.returnIO
        SLIDE    3 1
        ENTER
   MKAP     0 words, 1 stkoff
   ALLOC_AP    0
   PUSH_BCO
     ProtoBCO sat_sQ0#0 []:
        \u [] System.IO.print GHC.Show.$fShowBool GHC.Types.False
        bitmap:  0 []
        PUSH_G   GHC.Types.False
        PUSH_G   GHC.Show.$fShowBool
        PUSH_APPLY_PP
        PUSH_G   System.IO.print
        ENTER
   MKAP     0 words, 1 stkoff
   PUSH_LL  1 0
   PUSH_APPLY_PP
   PUSH_G   GHC.Base.thenIO
   SLIDE    4 2
   ENTER