Chris Taylor has a series of posts that correspond to a talk he gave in London (November 2012), video on YouTube and slides on Github.
Suggest you read the blog posts first and then following the slides while listening to the video.
If you have been wondering about types in Haskell, this is a golden opportunity.