@@ -452,7 +452,7 @@ There are the following three versions:
452452 TransEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
453453 (output_effs : List EFFECT) -> Type
454454 DepEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
455− (output_effs_fn : x -> List EFFECT) -> Type
455+ (output_effs_fn : t -> List EFFECT) -> Type
456456
457457So far, we have used only the first version, ``SimpleEff.Eff``, which
458458is defined as follows: