"If you end up greenspunning a type system, you have just negated a large part of the benefit of your language." http://tinyurl.com/cydzar