Better type inference yesodweb/yesod#717