Create p9.hs