+ SeqT as instance of other MonadTransformers.
- Some type annotations.