ghc/compiler/tests/deSugar/ds007.stderr

   1 Desugared:
   2 ShouldSucceed.w :: for all d. [d]
   3 ShouldSucceed.w =
   4     /\ t84 ->
   5         let y.86 = /\ t85 -> Nil! t85 in
   6         let a.88 = /\ t87 -> y.86 t87 in  a.88 t84
   7