Comment by ggm

Is there an FP/Lambda calculus cogniscenti willing to translate this into ordinary humanese?