Yesod Forms, Newtypes, and Smart Constructors | Hacker News Reader