Thinking of trading multiple type class parameters and functional dependencies for associated types

  1. I have type families for type-level computation.
  2. I really don't like the 2,3,4-way relationships type-level programming through constraints produce.
Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.