No POD found for lambda-calculus. Time to read the source?