Pretty good series, using Haskell (it has a pretty decent type system and the type syntax is easy to understand, OCaml's is a bit more confusing) for the examples. Great coverage as well on types and category theory.