A modern programming language that makes developers happier.

kotlinlang

```
trait ApplicativeAsk[F[_], E] {
  val applicative: Applicative[F]

  def ask: F[E]
}
```

it's `ReaderT` + `Applicative`

asking because we are missing the third implementation of Chapter 6 for FRDomain

<https://github.com/debasishg/frdomain-extras/tree/master/mtl/src/main/scala/frdomain/ch6/domain>

Arrow did not go with the encoding cats-mtl had and those in Arrow do not exist. You are welcome to add them though in the still experimental MTL module

We moved all transformers and MTL typeclasses there

maybe I'll try a different approach instead...

I'm not a big fan of monad transformers :smile: