Miss Dada  🏳️‍⚧️

Yeah, having APIs like this with lots of *independent* generic parameters is NBD imo pretty easy to use, most folks define a type alias if they need to name the type a lot but only use one impl

I have some really terrible examples from early Stylo days that I should scrounge up, where the type parameters are all entangled

I had some examples from Diesel that I used to think were horrible until I saw some open source code that... Was extremely generic.

i don’t know if i really think this kind of code is “bad”...it’s saying a lot, when you think about it!

also, of the fairly small handful of languages that even let you *express* this kind of type constraints, rust’s syntax for it is the most readable by far

Hard agree

hot take: `=>` is the least obvious syntax in all of haskell