I’ve added some sugar (that nobody asked for :sweat_smile:) to my lang: “curried lambdas” foo = {λ a ⇒ λ {list b c} d ⇒ λ e f ⇒ (+ a b c d e f)}