Slides and Other Material for My Talks Types as Values: Derive correctness from practicality Presented on 30th September, 2015 during Functional Programming Brno Meetup 2 (also known as FPB).