cats-infographic
cats-infographic copied to clipboard
`Applicative` should extends `InvariantMonoidal`
Applicative
should extends InvariantMonoidal
. I think it is the case since cats 1.x:
https://github.com/typelevel/cats/blob/1.3.x/core/src/main/scala/cats/Applicative.scala#L17
Thanks, I think some lines disappeared at some point.