What are some types that discriminate between categories?

Question

I\'m still getting familiar with all this category theory stuff, and just about every example I see is with a Maybe or an Array. But I haven\'t found any examples that discrimin

Answer 1

Non-empty lists, defined as data NEList a = Cons a [a] are semigroups but not monoids.