Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
Isomorphisms
<*> = ap
requires Sync
(or in general the ability to observe effects)
Semigroupal[Set]
.
Invariant[Set]
to get the Isomorphism[Set]
, or bring my own.
dual
method for Monoid
? Like for example:implicit Monoid[A] => implicit Monoid[A @@ Dual]
foldMap `ala` Min [1,2,3]