There's a little bit of that in Haskell right now. It's kind of OK with, say, `profunctors` which probably has everything anyone could ever imagine about profun

There's a little bit of that in Haskell right now. It's kind of OK with, say, `profunctors` which probably has everything anyone could ever imagine about profunctors in Haskell. Furthermore, as a mathematical concept there is not a lot of possible variability in that library. Similarly, `lens` right now has pretty much everything under the sun about lenses, though some prefer the simpler lens packages like `lens-family`. I kind of feel less confident about the choice around `rest` since there are many interpretations and implementation choices which may lead to a desire for competition here. But I'll reserve actual judgement until I use it. I wouldn't at all mind a comprehensive, provably correct webmachine-like implementation of REST called `rest`.