Is reduced to encoding in a single type all your a...

# arrow

[raulraja]

Is reduced to encoding in a single type all your applications effects and concerns, then use the functional typeclasses where needed such as MonadError like Paco explained