My tinkering to understand scalaz and the typeclassopedia