first scalaz tests for monoids and functors