1
A quick guide to GADTs and why you ain't gonna need them
(practicalocaml.com)
An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org
Thanks for your reply. I'm still not sure if I have managed to wrap my head around this ๐ I guess I need to re-read the relevant chapter from RWO book. I'll post back here I'm finally able to understand
handler
in your case.If you want something more detailed, there is a library which does the same things (with more documentation inside :)) : https://github.com/anuragsoni/routes