slides for 09/2013 ostrava lambda meetup