adding lazygettx.hs