Tex.hs works