λ(x : Text) → λ(y : Text) → "s${x}"