adding laziergettx.hs