@@ -24,8 +24,9 @@ Effect = (x : Type) -> Type -> (x -> Type) -> Type
2424data EFFECT : Type where
2525 MkEff : Type -> Effect -> EFFECT
2626
27−-- 'sig' gives the signature for an effect. There are three versions
28−-- depending on whether there is no state change, a non-dependent change,
27+-- 'sig' gives the signature for an effect. There are four versions
28+-- depending on whether there is no resource needed,
29+-- no state change, a non-dependent change,
2930-- or a dependent change. These are easily disambiguated by type.
3031
3132namespace NoResourceEffect