Export user-specified monoid comonad defaults

These functions make it possible to, for instance, represent infinite streams by Integer without having to implement either Semigroup or Monoid instances for Integer.