READ Iface
  [$WFoo [InlPrag=INLINE[0]] :: forall a. Int -> a -> Bool -> Foo a
   [GblId[DataConWrapper],
    Arity=3,
    Caf=NoCafRefs,
    Str=<S,U><S,U><S,U>m,
    Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
            WorkFree=True, Expandable=True,
            Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=False)
            Tmpl= \ (@ a_i1mD)
                    _ [Occ=Dead]
                    _ [Occ=Dead]
                    (dt_i1mG [Occ=Once1] :: Bool) ->
                    case dt_i1mG of dt_i1mH [Occ=Once1] { __DEFAULT ->
                    case dt_i1mH of dt_i1mI [Occ=Once1] { __DEFAULT ->
                    case dt_i1mI of dt_i1mJ { __DEFAULT ->
                    Foo @ a_i1mD dt_i1mJ dt_i1mJ dt_i1mJ
                    }
                    }
                    }}]
   $WFoo
     = \ (@ a_i1lN)
         (dt_i1lO :: Int)
         (dt_i1lP :: a_i1lN)
         (dt_i1lQ :: Bool) ->
         case dt_i1lQ of dt_i1lR { __DEFAULT ->
         case dt_i1lR of dt_i1lS { __DEFAULT ->
         case dt_i1lS of dt_i1lT { __DEFAULT ->
         Foo @ a_i1lN dt_i1lT dt_i1lT dt_i1lT
         }
         }
         },
   $cshowsPrec_i1lq :: forall a. Show a => Int -> Foo a -> ShowS
   [GblId, Arity=3]
   $cshowsPrec_i1lq
     = \ (@ a_i1lY)
         ($dShow_i1lZ :: Show a_i1lY)
         (a1_i1m0 :: Int)
         (ds_i1m1 :: Foo a_i1lY) ->
         case ds_i1m1 of wild_i1m4 { Foo b1_i1m7 b2_i1m8 b3_i1m9 ->
         showParen
           (>= @ Int $fOrdInt a1_i1m0 (I# 11#))
           (. @ String
              @ String
              @ String
              (showString (unpackCString# "Foo "#))
              (. @ String
                 @ String
                 @ String
                 (showsPrec @ Int $fShowInt (I# 11#) b1_i1m7)
                 (. @ String
                    @ String
                    @ String
                    showSpace
                    (. @ String
                       @ String
                       @ String
                       (showsPrec @ a_i1lY $dShow_i1lZ (I# 11#) b2_i1m8)
                       (. @ String
                          @ String
                          @ String
                          showSpace
                          (showsPrec @ Bool $fShowBool (I# 11#) b3_i1m9))))))
         },
   $fShowFoo [InlPrag=NOUSERINLINE CONLIKE]
     :: forall a. Show a => Show (Foo a)
   [GblId[DFunId], Arity=1]
   $fShowFoo
     = \ (@ a_i1mj) ($dShow_i1mk :: Show a_i1mj) ->
         C:Show
           @ (Foo a_i1mj)
           ($cshowsPrec_i1lq @ a_i1mj $dShow_i1mk)
           ($cshow_i1lv @ a_i1mj $dShow_i1mk)
           ($cshowList_i1lt @ a_i1mj $dShow_i1mk);
   $cshowList_i1lt :: forall a. Show a => [Foo a] -> ShowS
   [GblId, Arity=1]
   $cshowList_i1lt
     = \ (@ a_i1ml) ($dShow_i1mm :: Show a_i1ml) ->
         $dmshowList @ (Foo a_i1ml) ($fShowFoo @ a_i1ml $dShow_i1mm);
   $cshow_i1lv :: forall a. Show a => Foo a -> String
   [GblId, Arity=1]
   $cshow_i1lv
     = \ (@ a_i1mo) ($dShow_i1mp :: Show a_i1mo) ->
         $dmshow @ (Foo a_i1mo) ($fShowFoo @ a_i1mo $dShow_i1mp);,
   $trModule1_i1lx :: Addr#
   [GblId, Caf=NoCafRefs]
   $trModule1_i1lx = "main"#,
   $trModule2_i1ly :: TrName
   [GblId, Caf=NoCafRefs]
   $trModule2_i1ly = TrNameS $trModule1_i1lx,
   $trModule3_i1lz :: Addr#
   [GblId, Caf=NoCafRefs]
   $trModule3_i1lz = "B"#,
   $trModule4_i1lA :: TrName
   [GblId, Caf=NoCafRefs]
   $trModule4_i1lA = TrNameS $trModule3_i1lz,
   $trModule :: Module
   [GblId, Caf=NoCafRefs]
   $trModule = Module $trModule2_i1ly $trModule4_i1lA,
   $krep_i1lB :: KindRep
   [GblId]
   $krep_i1lB = KindRepTyConApp $tcBool ([] @ KindRep),
   $krep1_i1lC :: KindRep
   [GblId]
   $krep1_i1lC = KindRepTyConApp $tcInt ([] @ KindRep),
   $krep2_i1lD :: KindRep
   [GblId, Caf=NoCafRefs]
   $krep2_i1lD = KindRepVar 0#,
   $tcFoo1_i1lE :: Addr#
   [GblId, Caf=NoCafRefs]
   $tcFoo1_i1lE = "Foo"#,
   $tcFoo2_i1lF :: TrName
   [GblId, Caf=NoCafRefs]
   $tcFoo2_i1lF = TrNameS $tcFoo1_i1lE,
   $tcFoo :: TyCon
   [GblId]
   $tcFoo
     = TyCon
         8854819781312140812##
         355568920856927361##
         $trModule
         $tcFoo2_i1lF
         0#
         krep$*Arr*,
   $krep3_i1lG :: [KindRep]
   [GblId, Caf=NoCafRefs]
   $krep3_i1lG = : @ KindRep $krep2_i1lD ([] @ KindRep),
   $krep4_i1lH :: KindRep
   [GblId]
   $krep4_i1lH = KindRepTyConApp $tcFoo $krep3_i1lG,
   $krep5_i1lI :: KindRep
   [GblId]
   $krep5_i1lI = KindRepFun $krep_i1lB $krep4_i1lH,
   $krep6_i1lJ :: KindRep
   [GblId]
   $krep6_i1lJ = KindRepFun $krep2_i1lD $krep5_i1lI,
   $krep7_i1lK :: KindRep
   [GblId]
   $krep7_i1lK = KindRepFun $krep1_i1lC $krep6_i1lJ,
   $tc'Foo1_i1lL :: Addr#
   [GblId, Caf=NoCafRefs]
   $tc'Foo1_i1lL = "'Foo"#,
   $tc'Foo2_i1lM :: TrName
   [GblId, Caf=NoCafRefs]
   $tc'Foo2_i1lM = TrNameS $tc'Foo1_i1lL,
   $tc'Foo :: TyCon
   [GblId]
   $tc'Foo
     = TyCon
         8896365373501360303##
         4829744152389500794##
         $trModule
         $tc'Foo2_i1lM
         1#
         $krep7_i1lK]
compile core
  >>
    @ Q
    $fMonadQ
    @ ()
    @ [Dec]
    ($ @ 'LiftedRep
       @ (IO ())
       @ (Q ())
       (liftIO @ Q $fMonadIOQ @ ())
       ($ @ 'LiftedRep
          @ String
          @ (IO ())
          (hPutStrLn stderr)
          ($ @ 'LiftedRep
             @ (Foo Char)
             @ String
             (show @ (Foo Char) ($fShowFoo @ Char $fShowChar))
             ($WFoo @ Char (I# 10#) (C# 'd'#) True))))
    (pure @ Q $fApplicativeQ @ [Dec] ([] @ Dec))
Foo 8646911284555580357 '\8646911284555580357' True
[Info] finish: User TypeCheck (took 0.16s)
[Info] finish: GetHie (took 0.00s)
[Info] finish: GenerateCore (took 0.00s)

Completed (1 file worked, 0 files failed)