fix Examples.hs