This is an oldie but a goodie. Nick Partridge (@nkpart) shows the Melbourne Scala Users group Scalaz and how its typeclasses are derived. There is a useful focus on Validations (right biased Either's) and how it accumulates errors. The talk can be found on vimeo here.