data-category-0.0.3.1: Restricted categories
Data.Category.Monoid
Description
A monoid as a category with one object.
Synopsis
newtype MonoidA m a b Source
The arrows are the values of the monoid.
Constructors
Instances