The other thing to consider is that type classes m...

# arrow-contributors

[raulraja]

The other thing to consider is that type classes matter not only to our data types but to the users created ones. If we remove ApplicativeError we would be taking it away from users too since they may have data types that can't derive monads and then we leave them without a way to deal with errors even if they could support them.