Strange dictionary construction

gistfile1.txt

Main.gshowP_$dAll :: All MyShow Any
[GblId,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
         WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Main.gshowP_$dAll
  = ghc-prim-0.5.0.0:GHC.Classes.$p1(%,%)
      @ (All MyShow Any)
      @ (All (All MyShow) Any)
      (ghc-prim-0.5.0.0:GHC.Classes.C:(%%)
       `cast` (Sub (Sym (Main.D:R:AllFk_c[][0] <[*]>_N <All MyShow>_N))
               ; Sym (Main.N:All[0] <[*]>_N <All MyShow>_N <'[]>_N)
               ; Sub
                   (Nth:1
                      (Sub
                         (Sym
                            (Main.D:R:AllFkc:[0] <[*]>_N <All MyShow>_N <'[Char]>_N <'[]>_N))
                       ; (AllF
                            <[*]>_N
                            <All MyShow>_N
                            ((':)
                               <[*]>_N
                               (UnsafeCo nominal '[Char] Any)
                               (UnsafeCo nominal '[] Any))_N)_R
                       ; Sub
                           (Main.D:R:AllFkc:[0] <[*]>_N <All MyShow>_N <Any>_N <Any>_N)))
               ; Main.N:All[0]
                   <[*]>_N <All MyShow>_N (UnsafeCo nominal Any (Any : Any))
               ; Sub (Main.D:R:AllFkc:[0] <[*]>_N <All MyShow>_N <Any>_N <Any>_N)
               :: (() :: Constraint :: Constraint)
                  ~R#
                  ((All MyShow Any, All (All MyShow) Any) :: Constraint)))