gneuvill
gneuvill
/ cats-mtl.scala
Created
May 23, 2017 18:26
— forked from aaronlevin/cats-mtl.scala
Does the cats-mtl design support for-comprehensions with multiple Monad constraints? Looks like it does!
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package cats | |
| import cats.data.{StateT, WriterT} | |
| import cats.implicits._ | |
| /** | |
| * TypeLevel is working on some alternative encodings of the Monad Transformer | |
| * Library (MTL). The existing solution in cats was broken for a few reasons. | |
| * One annoying issue made it imposisible to use for-comprehension with more | |
| * than one Monad$FOO constraint owing to implicit resolution ambiguities. |