Exploring the idea of deriving cats.mtl.ApplicativeAsk instances for zio.Task and cats.effect.IO in a principled way.
See the initial PR for additional insight: gvolpe/classy-optics#2
TODO
Idea presented at my Scalar 2019's talk and further improved with the help of John De Goes.