Raising the point that alleycats currently depends on algbebra, that is perhaps a hangover from pre cats kernel/core times
This became apparent when looking at the possibilty of move alleycats into cats repo. I beleive this would be a blocker.
But irrespective of whether alleycats stays or goes, might be worth looking at this
@/all#48 super quick PR to update alleycats to cats 1.0.0-MF. Also can we add new cats maintainers @edmundnoble@djspiewak and @peterneyens? (BTW, I dont mind being given the admin right to add them myself :) )
I think I actually already am a maintainer.
care to take a look at that PR?
merged. thanks @peterneyens , any objection if I release it?