LazyMapWithElType.jl