More Applicative-Monad fixes.
Adapt to new version of the vector library.
Update for base 4.8.