lazyset (hackage): A Set and Map implementation that is completly lazy and works for infinite sets and maps.    
Keywords: data|library|mit