make laziergettx.hs more efficient