prophile/adjunctions — pull request #1 by prophile (2014-03-04 19:50:24+00:00)
Title: Export user-specified Rep universe foldMap default

Again, not sure on the names.

The Traversable instance for this seems rather more difficult, but I suppose this is a start?