fixed module name of Popl2014.hs