λ(x : Text) → x