annotations for yi / Main.hs