everything needed to model computation is there and all the instances supporting all those abstract behaviors are already provided by arrow in the form of instances for data types such as IO, Deferred, Observable, Flux, Either, Validated and many more.