On Mon, Jun 22, 2015 at 5:51 PM, David Feuer <david.feuer@gmail.com> wrote:

Is there a newtype defined in some normal sort of place for turning
Monoids into Categories? I'm looking for something like this:

newtype ConstConst m a b = ConstConst m

instance Monoid m => Category (ConstConst m) where
  id = ConstConst mempty
  ConstConst x . ConstConst y = ConstConst (x <> y)

Thanks,
David Feuer
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe