Scalaz Typeclasses Venn Diagram