-Desugared:
-Tests.f :: for all d. d
-Tests.f = /\ t79 -> (error t79) (Nil! Char)
-Tests.g :: for all d. d
-Tests.g = /\ t83 -> (error t83) (Nil! Char)
-Tests.h :: for all d. d
-Tests.h = /\ t86 -> (error t86) "\""S
-Tests.i :: for all d. d
-Tests.i = /\ t89 -> (error t89) "foo"S
+
+================================================================================
+Desugared:
+i{-r4,x-} ::
+ _forall_ [t{-amO-}] => t{-amO-}
+{-# L #-}
+i{-r4,x-} =
+ _/\_ t{-amO-} ->
+ IOBase.error{-87,p-}
+ _@_ t{-amO-} _string_ "foo"
+h{-r5,x-} ::
+ _forall_ [t{-amW-}] => t{-amW-}
+{-# L #-}
+h{-r5,x-} =
+ _/\_ t{-amW-} ->
+ let { ds_dpe ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_dpe =
+ let {
+ ds_dpp ::
+ PrelBase.Char{-38,p-}
+ {-# L #-}
+ ds_dpp =
+ PrelBase.C#{-54,p-}{i}
+ {'"'} } in
+ let {
+ ds_dpt ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_dpt =
+ PrelBase.[]{-5i,p-}{i}
+ {_@_ PrelBase.Char{-38,p-}}
+ } in
+ PrelBase.:{-55,p-}{i}
+ {_@_ PrelBase.Char{-38,p-} ds_dpp ds_dpt}
+ } in
+ IOBase.error{-87,p-}
+ _@_ t{-amW-} ds_dpe
+g{-r6,x-} ::
+ _forall_ [t{-an4-}] => t{-an4-}
+{-# L #-}
+g{-r6,x-} =
+ _/\_ t{-an4-} ->
+ let {
+ ds_dpW ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_dpW =
+ PrelBase.[]{-5i,p-}{i}
+ {_@_ PrelBase.Char{-38,p-}}
+ } in
+ IOBase.error{-87,p-}
+ _@_ t{-an4-} ds_dpW
+f{-r7,x-} ::
+ _forall_ [t{-and-}] => t{-and-}
+{-# L #-}
+f{-r7,x-} =
+ _/\_ t{-and-} ->
+ let {
+ ds_dqm ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_dqm =
+ PrelBase.[]{-5i,p-}{i}
+ _@_ PrelBase.Char{-38,p-}
+ } in
+ IOBase.error{-87,p-}
+ _@_ t{-and-} ds_dqm