Interesting use of dependent types

[Shivkumar_Chandrasek]

I just came across this link (https://github.com/jonleivent/mindless-coding)
on the OCaml mailing list and thought it might be interesting to readers of
this list too.

–shiv–