Merge pull request #279 from arkeet/master

Fix Ixed/Contains instances for negative indices
Control.Lens.Plated: Fix Control.Plated typo
Fix Pong.hs to use contains instead of ix
Brought Reviewable back.
Some work towards #281, still needs doctests and the like.
Forgot to export retagged

Sorry, guys
Example for (^!!)
Examples for (^?!)
Extend instance for Mutator

Doesn't see, like there's any reason there shouldn't be one.
Slight changes to Mutator instances

ComonadApply's (<@>) now has its own separate definition, and Bind's join is defined explicitly.
Fixed typo
Added a failing `over` combinator for `Prism`s.

The default behavior for `over` applied to Prisms, to act as `id` if the
prismatic mapping fails, is concerning since it consumes a failure. The
new combinator, `overM` uses `isn't` to fail the computation when the
prism does. I don't think this is a general function, but I can't think
how to observe the failure in `over prism` any other way.
Failable `tryOver` for `Prism`s and `Traversals`

a.k.a. `(%%~?)`

The default behavior for over applied to Prisms, to act as id if the
prismatic mapping fails, is concerning since it consumes a failure.
Originally a failing `over` combinator was defined in terms of `over`
and `isn't`, but a more general combinator can be defined over
`Traversal`s using `%%~` and `Any`.
Extra note on  documentation.
Merge pull request #282 from tel/dev-overm-prism

Added a failing `over` combinator for `Prism`s.
Renamed `tryOver` to `failover`.

* Moved `failover` to Control.Lens.Traversal.
* Removed `(%%~?)` as it doesn't fit the surrounding operator patterns.
More strict conversions
Control.Lens.Traversal: fix doctest for failover
Control.Lens.Iso: {di,l,r}mapping for Profunctors
Control.Lens.Iso.contramapping ∷ Contravariant f ⇒ Iso s t a b -> Iso (f a) (f b) (f s) (f t)
Control.Lens.Iso: use withIso in favour of runIso