This is currently what we offer through our Vif framework. The latter also uses algebraic effects and Miou as a scheduler (you can find more details here). We have wanted typed routes for a very long time. vif goes a little further than furl because it also attempts to type the content of a request (and recognises whether this content is JSON or multipart/form-data, which allows for typed forms). There is a tutorial available here and an example of a chat room (with websockets) here.
2 Likes