Edward Kmett

I'm mostly half remembering it from a comment in one of the pretty printing libraries' codebases where it talked about how using the other associativity cost it an O(n^2) factor....

This actually would break the compliance of packages that adopt yyyy.mm.dd versioning, and simply don't release major versions more frequently than once a month. This fell sharply out of favor,...

For the record, [`transformers-compat`](http://hackage.haskell.org/package/transformers-compat) has something like the same issue @phadej mentioned. In my case I have to ship multiple patch releases with different flags to allow it to package...

Vocabulary wise, distributive comes just from the notion of a distributive law for a functor. This isn't, fundamentally, a directed notion. If you want a term with a better pedigree...

I build up a bunch of interesting constructions in the category of constraints in my ekmett/hask package, maybe some of those ideas will help you. I'm not sure how well...

Audrey Tang might also be a good fit, but someone would have to ask her.

* Gabriele Keller at UNSW * Kathleen Fisher at Tufts * Perdita Stevens at Edinburgh all also come to mind.

Audrey said yes. I've pinged the others I mentioned (including the two I edited in after your reply) and will follow up with replies.

Gabriele also said yes. (So did the other two, but it looks like they've already been added by now.)

I use something like this `f (Rep f)` a lot, just to represent endomorphisms `Rep f -> Rep f` in a way that can be tabulated. https://www.schoolofhaskell.com/user/edwardk/moore/for-less#running-a-tab in general the...