These are chat archives for typelevel/general

24th
Jul 2017
Rob Norris
@tpolecat
Jul 24 2017 20:15
Do we know how to generalize Traverse, Bitraverse, Tritraverse, ...? I have data types that are functors in many ways and I'm not sure how to deal with it.
Database schema where every id and foreign key ends up as a type parameter.
Edmund Noble
@edmundnoble
Jul 24 2017 20:28
How about this: we come up with a new library with arity-generalized versions of everything in cats
canary, short for cats n-ary
Dale Wijnand
@dwijnand
Jul 24 2017 20:31
:+1:
Rob Norris
@tpolecat
Jul 24 2017 20:31
Passes the name test. :+1: