scalaz specs