Type-safe links - Servant by construction part 2

Recall the previous post in this series : we created a bunch of types, such as Get , Capture , and (:>) , to help us represent an API. So far, we can’t do squat with these types, but that changes today. By the end of this post, we’ll be able to do one thing: we’ll determine the string representation of an endpoint type. I know, this isn’t mindblowing, but it will require the use of a basic…