Detecting use cases for GADTs in OCaml

Comments



from Hacker News http://bit.ly/1tISFl2