I have been working on this experiment for quite some time and over the holidays I found sometime to polish things. I wanted to see if I can build a fully type-safe router, where everything from route params to search params was fully typed, even links.

My main inspiration came from Servant [1]

In Servant, you define a type-level API specification and then you use this type specification to:

- Implement a web server

- Generate client functions

I am still working on the API design and would love to get some feedback on the pattern.

[1] https://www.servant.dev/