spec on scalaz