# Pastebin KM8UP4kS
(alwaysTraceSDoc
$dMonadDebug
lvl48
lvl46
(case $wdefAbstract ipv34 of a { __DEFAULT ->
 (\ (v :: MutVar# RealWorld TCState)
    (v1 :: TCEnv)
    (eta10 :: State# RealWorld) ->
    case v1 of e1
    { TCEnv ipv35 ipv36 ipv37 ipv38 ipv39
            ipv40 ->
    case ipv40 of
    { ColdEnv ds78 ds79 ds80 ds81 ds82 ds83
              ds84 ds85 ds86 ds87 ds88 ds89
              ds90 ds91 ds92 ds93 ds94 ds95
              ds96 ds97 bx2 bx3 bx4 ds98 ds99
              ds100 ds101 ds102 ds103 ->
    case ds78
         `cast` <Co:1> :: ModuleName ~R# [Name]
    of nt2
    { __DEFAULT ->
    case $fPrettyTCMAbstractName2 q v e1 eta10
    of
    { (# ipv41, ipv42 #) ->
    case $fPrettyTCMModuleName1
           (nt2
            `cast` <Co:2> :: [Name]
                             ~R# ModuleName)
           v
           e1
           ipv41
    of
    { (# ipv43, ipv44 #) ->
    (# ipv43,
       join {
         $j2 :: String -> Doc
         $j2 (eta11 :: String)
           = case $wlenAcc eta11 0# of ww1
             { __DEFAULT ->
             join {
               $j3 :: String -> Doc
               $j3 (eta12 :: String)
                 = case $wlenAcc eta12 0#
                   of ww2
                   { __DEFAULT ->
                   join {
                     $j4 :: String -> Doc
                     $j4 (eta13 :: String)
                       = case $wlenAcc eta13 0#
                         of ww3
                         { __DEFAULT ->
                         case ipv42 of wild5 {
                           __DEFAULT ->
                             case p of wild6 {
                               __DEFAULT ->
                                 case ipv44
                                 of wild7 {
                                   __DEFAULT ->
                                     Beside
                                       (Beside
                                          (Beside
                                             (Beside
                                                (Beside
                                                   wild6
                                                   True
                                                   wild5)
                                                True
                                                (TextBeside
                                                   (NoAnnot
                                                      (Str
                                                         eta13)
                                                      ww3)
                                                   Empty))
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta12)
                                                   ww2)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta11)
                                                ww1)
                                             Empty))
                                       True
                                       wild7;
                                   Empty ->
                                     Beside
                                       (Beside
                                          (Beside
                                             (Beside
                                                wild6
                                                True
                                                wild5)
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta13)
                                                   ww3)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta12)
                                                ww2)
                                             Empty))
                                       True
                                       (TextBeside
                                          (NoAnnot
                                             (Str
                                                eta11)
                                             ww1)
                                          Empty)
                                 };
                               Empty ->
                                 case ipv44
                                 of wild7 {
                                   __DEFAULT ->
                                     Beside
                                       (Beside
                                          (Beside
                                             (Beside
                                                wild5
                                                True
                                                (TextBeside
                                                   (NoAnnot
                                                      (Str
                                                         eta13)
                                                      ww3)
                                                   Empty))
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta12)
                                                   ww2)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta11)
                                                ww1)
                                             Empty))
                                       True
                                       wild7;
                                   Empty ->
                                     Beside
                                       (Beside
                                          (Beside
                                             wild5
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta13)
                                                   ww3)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta12)
                                                ww2)
                                             Empty))
                                       True
                                       (TextBeside
                                          (NoAnnot
                                             (Str
                                                eta11)
                                             ww1)
                                          Empty)
                                 }
                             };
                           Empty ->
                             case p of wild6 {
                               __DEFAULT ->
                                 case ipv44
                                 of wild7 {
                                   __DEFAULT ->
                                     Beside
                                       (Beside
                                          (Beside
                                             (Beside
                                                wild6
                                                True
                                                (TextBeside
                                                   (NoAnnot
                                                      (Str
                                                         eta13)
                                                      ww3)
                                                   Empty))
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta12)
                                                   ww2)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta11)
                                                ww1)
                                             Empty))
                                       True
                                       wild7;
                                   Empty ->
                                     Beside
                                       (Beside
                                          (Beside
                                             wild6
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta13)
                                                   ww3)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta12)
                                                ww2)
                                             Empty))
                                       True
                                       (TextBeside
                                          (NoAnnot
                                             (Str
                                                eta11)
                                             ww1)
                                          Empty)
                                 };
                               Empty ->
                                 case ipv44
                                 of wild7 {
                                   __DEFAULT ->
                                     Beside
                                       (Beside
                                          (Beside
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta13)
                                                   ww3)
                                                Empty)
                                             True
                                             (TextBeside
                                                (NoAnnot
                                                   (Str
                                                      eta12)
                                                   ww2)
                                                Empty))
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta11)
                                                ww1)
                                             Empty))
                                       True
                                       wild7;
                                   Empty ->
                                     Beside
                                       (Beside
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta13)
                                                ww3)
                                             Empty)
                                          True
                                          (TextBeside
                                             (NoAnnot
                                                (Str
                                                   eta12)
                                                ww2)
                                             Empty))
                                       True
                                       (TextBeside
                                          (NoAnnot
                                             (Str
                                                eta11)
                                             ww1)
                                          Empty)
                                 }
                             }
                         }
                         } } in
                   case a of {
                     AbstractDef ->
                       jump $j4
                         $fShowIsAbstract5;
                     ConcreteDef ->
                       jump $j4
                         $fShowIsAbstract4
                   }
                   } } in
             case ds102 of {
               Nothing ->
                 jump $j3 $fShowMaybe3;
               Just b1 ->
                 jump $j3
                   (unpackAppendCString#
                      $fShowMaybe1
                      (case b1 of
                       { OpaqueId ww2 ww3 ->
                       $w$cshowsPrec15
                         11# ww2 ww3 []
                       }))
             }
             } } in
       case ds88 of {
         AbstractMode ->
           jump $j2 $fShowAbstractMode7;
         ConcreteMode ->
           jump $j2 $fShowAbstractMode6;
         IgnoreAbstractMode ->
           jump $j2 $fShowAbstractMode5
       } #)
    }
    }
    }
    }
    })
 `cast` <Co:17> :: (MutVar# RealWorld TCState
                    -> TCEnv
                    -> State# RealWorld
                    -> (# State# RealWorld,
                          Doc #))
                   ~R# TCMT IO Doc
 })
(lvl44
 `cast` <Co:27> :: (OccEnv
                    -> MutVar#
                         RealWorld TCState
                    -> TCEnv
                    -> State# RealWorld
                    -> (# State# RealWorld,
                          () #))
                   ~R# ReaderT
                         OccEnv (TCMT IO) ()))