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.
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.
Make the private Functor[Pair] a lazy val.
Foldable, Foldable1, & Traverse1 laws. (#457)