yep and that works for all data types universally ...

# arrow

[raulraja]

yep and that works for all data types universally in Arrow that can provide a MonadError instance though in your case if you are in the context of F bounded algebras using a custom E most likely you will end up interpreting to EitherTKindPartial<IOHK, E>