These are chat archives for typelevel/scala

Nov 2016
Pascal Voitot
Nov 24 2016 13:10
Hey, just twitted about this new Kind-Polymorphic sample, a bit crazy but actually very interesting IMHO : a representation of a Kind-Polymorphic product indexed by the kind of morphism directly
Miles Sabin
Nov 24 2016 17:30
Very cool :-)
Pascal Voitot
Nov 24 2016 17:35
Yep abstracting on the kind of morphism would allow abstracting on structure order (at least in theory)