diagrams/monoid-extras — pull request #12 by hanshoglund (2014-02-26 14:09:59+00:00)
Title: Expose Pos and Neg definitions

We want instances such as (Monoid (Inf Neg a)) to show up in the docs,
but this doesn't happen if Pos and Neg are not visible. The noise is
worth it as it makes the purpose of Inf more clear.