Open treeowl opened 6 years ago
This proposal isn't without real costs.
Splitting the package up makes it harder to iterate on across the boundary.
It makes it slightly harder for users to use as users now need to import two packages, or we have to re-export modules.
And it makes it harder to discover your way around as with the classes in the file its easy to see all of the instances of MonadFree in the haddocks. If the class is in another package they won't get that summary.
I'm inclined to treat this as a WONTFIX feature request.
Some if not all of the
.Class
modules have very few dependencies. For example,Control.Monad.Free.Class
only depends ontransformers
. But depending onfree
means pulling inprofunctors
,semigroupoids
, and so on.