I don't like static typing, but I don't like DHH more so I guess bring me your Hindleys and your Milners, it's time for a type system