+ Id to improve type inference in overloads.
+ Seq as instance of Monoid.
+ Seq as instance of Comonad.
+ Seq as instance of Foldable.
+ Seq as instance of Traversable.
+ Seq as instance of MonadPlus.
MonadPlus for SeqT fixed.