Seems reasonable for someone to want types but not have to raise their own entire TypeRuby language + ecosystem + re-tooling.