λ(x : ./example) → x