http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind...
https://github.com/tomprimozic/type-systems
http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind...
https://github.com/tomprimozic/type-systems