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