Another excellent talk about types in Haskell by Simon Peyton Jones.