Add a cats-mtl-free submodule
djspiewak opened this issue · 0 comments
djspiewak commented
This would serve two purposes. First, inductive instances over FreeT. Second, we could define some nifty machinery to implement certain typeclasses via InjectK algebrae within Free/FreeT, which would be awesome.