epsilon one fold
let in lets fold ___