This is the lambda-lists package by Alan Jeffrey, for doing lists and
lambda calculus via expandable macros (a.k.a. in TeX's mouth).

Homepage:
https://ctan.org/pkg/lambda-lists
