================================================================================
Desugared:
+Rec {
+f{-r1,x-} :: _forall_ [tak6] => tak6 -> [tak6] -> [tak6]
{-# L #-}
-f = _/\_ t{-amG-} ->
- PrelBase.:
- _@_ t{-amG-}
+f{-r1,x-} =
+ _/\_ tak6 ->
+ _letrec_ {
+ f_ak2 :: tak6 -> [tak6] -> [tak6]
+ {-# L #-}
+ f_ak2 =
+ PrelBase.:{-55,w-}{i} _@_ tak6;
+ } in f_ak2
+end Rec }