@gildor that could be an option but given we have over 30 different data types and 30 different type classes we would end up with ~ 90 modules. We thought that would be hard on users to find the right one but we are open to changes if this makes more sense. The other issue is that some of the most used syntax like comprehensions depend on
arrow-typeclasses
and
arrow-instances