syntax.hs