A talk on type specification in Erlang. Presented at Lambda Luminaries. http://www.meetup.com/lambda-luminaries/events/145676142/