Encoding the Effect Type in Functional Programming

How do you encode the type Effect<Success, Error, Requirements> ?
Was this page helpful?