Normalise before looking for coercions
Make seperated named functions for the Monoid <=> Maybe cast.

Also, Semigroup a -> Monoid (Maybe a) should actually only require a semigroup.
Corrected typo of the (++) example in views.tex
Added effects package and associated tests
Merge pull request #208 from tauli/patch-1

Corrected typo of the (++) example in views.tex
Merge pull request #206 from LeifW/factor_out_monoid_maybe_cast_to_named_functions

Make seperated named functions for the Monoid <=> Maybe cast.
Merge pull request #205 from Melvar/master

Add zipWith, concat and deleteAt to Prelude.Vect
Remove Threading effect (on account of it not working :))