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 method for \/
add more instances for OnePlus
add OnePlusApply, OnePlusApplicative
type class Optional[F[_]]

- abstracts over containers/contexts which may provide a value or not

- instances:
  - scala.Option
  - scalaz.LazyOption

- provides syntax.OptionalOps

- tests for all the functionality
merge branch scalaz-seven
integrate Optional into GenTypeClass
provide concrete orElse in Optional
provides nonEmpty as an alias for isDefined for Optional
provides Optional instance for scalaz.\/
provides Optional instance for LazyEither
provides Optional instance for Validation
Port of Data.Map to scalaz

This is a port of Haskell's Data.Map into scalaz. There are a few things
that need to be considered regarding the usage of sys.error (as per the
implementation in Haskell. It would be advantageous to have all functions
total.

Additionally there are some functions that might still be required, but
the majority of the useful functions have been provided. Feedback is
greatly appreciated.

Signed-off-by: Gary Pamparà <gpampara@gmail.com>
Don't mix context bounds and implicit params for 2.9.x

Signed-off-by: Gary Pamparà <gpampara@gmail.com>
Merge branch 'request/oneplus-instances' of git://github.com/xuwei-k/scalaz into topic/oneand-instances

Conflicts:
	core/src/main/scala/scalaz/OnePlus.scala
	tests/src/test/scala/scalaz/OnePlusTest.scala
Test functor lookup; rearrange OneAnd implicits to satisfy.
Inherit specific implementations in OneAnd covariant stack.