typelevel/cats-mtl

Add @implicitNotFound to all classes

djspiewak opened this issue · 0 comments

The contents should guide users towards what to do. For example, for the Ask classes, it should say something like this:

If you have a value of $A in scope, or a way of getting one, then you should wrap $F in Kleisli (e.g. Kleisli[$F, $A, ...) and use that type with this function. If you do not have a value of type $A in scope, then you should add an implicit F: ApplicativeAsk[$F, $A] parameter to your function.

We should be able to do this for all of the classes.