It has to be kept separate because otherwise you c...

# arrow-contributors

[raulraja]

It has to be kept separate because otherwise you can't lift errors in non monadic contexts for example in the case of Validated which only forms an Applicative