The Task type

The aff package defines a type called Task, which describes an effectful computation. That computation can perform effects of some kind, and yields a result or an error.