Added sample code motivating scalaz type class design.