epsilon one fold
let in lets let
✕
___
ting
in
let
out
lets
fold
ten
ts
↺ Reset