Servant-like routing in PureScript without ordering requirements
With Servant-style routing, the ordering of endpoints in types must line up with handlers on the value level. Destructuring clients and link structures derived from a routing type cannot be done without introducing coupling to the ordering of the routing type.
This experiment tries to remove that ordering issue, by using named resources and methods on the type level, in combination with PureScript's records (constrained by
RowCons) at the value level. The ordering no longer matter when we give handlers in a record. We could also implement link or client deriving functions that would extract specific clients based on a given name. All name checks are done at compile time.