Serv + Client

[tel]

One of the biggest advantages of servant-like API descriptions is the autogeneration of a type-safe and compliant client. Essentially, a function

client :: forall (a :: Api Nat Symbol *) . Sing a -> LocationData -> Client a

where Client a is a collection of IO actions which result in calls to the API hosted at LocationData.

[tel]

This isn't key for my use cases today, so it'll probably be a little slow for me to get to it. That said, it's a large and highly valuable project.