"Yesod!" presentation from 2° Encontro de Haskellers de São Paulo (January 23rd, 2013)