-
-
-================================================================================
-Desugared:
-Rec {
-x{-r1,x-} ::
- _forall_ [t{-amE-}] => t{-amE-}
-{-# L #-}
-x{-r1,x-} =
- _/\_ t{-amE-} ->
- _letrec_ {
- x_amC ::
- t{-amE-}
- {-# L #-}
- x_amC =
- x_amC;
- } in
- x_amC
-end Rec }