Fix Examples.hs