Implementations of a small lambda-calculus language in all PLs just because.