Example code for Lambda Lounge talk called "Introduction to Typed and Polymorphic Languages". Talk by Soumya D. Sanyal and Chris Hathhorn.