Part of me thinks that if you're going to pursue this style to it's extreme, you might as well just be better off using something like purescript
http://purescript.readthedocs.org/en/latest/intro.html#hello...
http://purescript.readthedocs.org/en/latest/intro.html#hello...