epsilon one fold
let in lets ___