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