Lazy functional programming module from Penn Engineering