Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
dual
method for Monoid
? Like for example:implicit Monoid[A] => implicit Monoid[A @@ Dual]
foldMap `ala` Min [1,2,3]
Parallel
G
is uniquely defined given F
F
via Parallel