unary let expressions taking binding expressions of any number of parameters