`Foo a b c d` -> `Foo s t a b`, `SimpleFoo a b` -> `SimpleFoo s a`, etc. This matches the use of `a` and `b` in traverse :: (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b) And makes it more obvious which type variables are used for what. (This patch also fixes some errors in the documentation.)
…stest (issue #43)
…coding of Context to the suite as well, but haven't wired it up yet
…d travis builds.