@@ -12,9 +12,9 @@ import Data.Vect
1212||| The Effect type describes effectful computations.
1313|||
1414||| This type is parameterised by:
15−||| + The input resource.
1615||| + The return type of the computation.
17−||| + The computation to run on the resource.
16+||| + The input resource.
17+||| + The computation to run on the resource given the return value.
1818Effect : Type
1919Effect = (x : Type) -> Type -> (x -> Type) -> Type
2020