Skip to content

Commit

Permalink
fix typo in faq.md (#2753)
Browse files Browse the repository at this point in the history
  • Loading branch information
xuwei-k authored and kailuowang committed Mar 23, 2019
1 parent 31f9f1e commit 103a698
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/main/tut/faq.md
Expand Up @@ -127,7 +127,7 @@ nl.traverse(even)

## <a id="applicative-monad-transformers" href="#applicative-monad-transformers">Where are `Applicative`s for monad transformers?</a>

An `Applicative` instance for `OptionT[F, ?]`/`EitherT[F, E, ?]`, built without a corresponding `Monad` instance for `F`, would be unlawful, so it's not included. See [https://typelevel.org/cats/guidelines.html#applicative-monad-transformers](the guidelines) for a more detailed explanation.
An `Applicative` instance for `OptionT[F, ?]`/`EitherT[F, E, ?]`, built without a corresponding `Monad` instance for `F`, would be unlawful, so it's not included. See [the guidelines](https://typelevel.org/cats/guidelines.html#applicative-monad-transformers) for a more detailed explanation.

As an alternative, using `.toNested` on the monad transformer is recommended, although its `ap` will still be inconsistent with the Monad instance's.`.

Expand Down

0 comments on commit 103a698

Please sign in to comment.