Transform immediately apparent traverse laws into traverse1 laws.
Test traverse1 laws on Nel, Tree theoretically in future.
Merge branch 'scalaz-seven' of git://github.com/scalaz/scalaz into topic/traverse1-laws
Test traverse while testing traverse1.
Generate final classes for syntax.
Regenerate and adapt manual hacks to parent.
separate GenerateTupleW
classify TupleNOps
Merge remote-tracking branch 'origin/scalaz-seven' into topic/foldable-laws
Foldable laws, just consistency really.
Laws about bias, which is not free, in fold1s.
Include functor & foldable laws for when checking traverse.
Test Foldable[Set].
Test traverse1 laws on OneAnd[*..].
Maybe missed law enforcement.
more classify some traits
Fix stack overflow in issue #456
Make the private Functor[Pair] a lazy val.
Merge pull request #458 from xuwei-k/classify

more classify some traits
Merge pull request #455 from xuwei-k/classify-TupleNOps

classify TupleNOps