The Joy of Refactoring with Strong, Static Types (www.reddit.com)