higher bound i in

list map lambda i lambda

plus plus map lambda✕