We should be able to achieve a good balance as des...

# arrow

[raulraja]

We should be able to achieve a good balance as described in #724 for core and data. Other modules like the effects ones can include type classes, instances, data types and syntax all in the module itself since their scope is already reduced to concrete features and they already do that.