+ Error module.
Catch signature more flexible.
+ Array instances for Applicative, Alternative, Monad and MonadPlus.
+ Sample code for generic filter.