These are chat archives for typelevel/cats
Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
fold( ): C
Bifunctorimplies something like that
fold, in general
Tuple2as a counterexample
fold(church encoding, cata) it's specific to each datatype "shape"
parProductNin a binary compatible way at this point?