Updated demo.hs