Re: [web-devel] Yesod question: renaming widget functions