A yesod application for modeling tryton