Update Examples.hs