--- /dev/null
+Desugared:
+Test.f :: for all d. d -> d
+Test.f = /\ o88 -> \ x.104 -> x.104
+Test.g :: for all d, e, f. d -> e -> f -> f
+Test.g =
+ /\ o97 o98 t102 -> \ x.106 y.107 z.108 ->
+ let
+ fail.109 =
+ (error t102)
+ "\"ds002.hs\", line 16: pattern-matching failure [function binding]\n"S
+ in (Test.f t102) z.108
+