Follow
Thinking of trading multiple type class parameters and functional dependencies for associated types
- I have type families for type-level computation.
- I really don't like the 2,3,4-way relationships type-level programming through constraints produce.
