λ(x : Text) → "hai${x}"