new post: Implementing Lists in the Simply Typed Lambda Calculus