Re: [Haskell-cafe] Turning Monoids into Categories

Looks like Semi from semigroupoids: https://hackage.haskell.org/package/semigroupoids-5.0.0.2/docs/Data-Semigrou... On Mon, Jun 22, 2015 at 5:51 PM, David Feuer 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