Make ap's consistency with bind a monad law.
Remove Apply, Applicative implications for EitherT, LazyEitherT.

They are inconsistent with the implied Monad, as a consistent ap requires Monad.

Also fix the ap order in EitherT.ap, while leaving it inconsistent.
Make map's consistency with ap/point an applicative law.
Arrow.contravariantInstance
Make Arrow inherit from Split.
Show instance for Map.
Merge pull request #256
Merge pull request #259 from S11001001/topic/map-show

Show instance for Map
Rename `{,Lazy}EitherT.ap` to `app`, to clarify that it is not the true `ap`.
Eliminate seperate `Functor` and `Monad` for `Callable`

[none]
Fixed Callable changes

[none]
(First|Last|Min|Max)Val and Semigroups

Addresses issue #248.
Improve `Callable` tests

[none]
Merge pull request #260 from pthariensflame/topic/first-and-last

Add `FirstVal`, `LastVal`, `MinVal`, and `MaxVal` to `Tags`
fix typo
Merge pull request #262 from xuwei-k/fix-typo

fix typo
An Unapply for types shaped like [a]M[F[_], a], e.g. StreamT.
Reverted the implementation of IndexedSeq#spanM which was causing a broken groupByM in issue #266
Merge branch 'scalaz-seven' of github.com:scalaz/scalaz into scalaz-seven
Merge pull request #264 from S11001001/topic/unapply-mfa

An Unapply for types shaped like [a]M[F[_], a], e.g. StreamT