There are a few problems.
monadT should be in the implicit scope. We shouldn't be importing slickDal.monadT everywhere
T : Monad is too strong of a constraint. Applicative suffices.
- The name
T is often clashes and is not descriptive enough. Even if we're to keep a single letter name, F (for Functor) is more standard and semantic.
Feel free to add more to this thread. It should all be updated at once.
There are a few problems.
monadTshould be in the implicit scope. We shouldn't be importingslickDal.monadTeverywhereT : Monadis too strong of a constraint.Applicativesuffices.Tis often clashes and is not descriptive enough. Even if we're to keep a single letter name,F(for Functor) is more standard and semantic.Feel free to add more to this thread. It should all be updated at once.