Simulate using Higher-Order Functions
pair(x,y) = (msg) Þ ... msg, x, y...; returned function
pair(x,y) =
(msg) Þ ... msg, x, y...;
returned function