Adding to what others have said: Int forms a monoid (in several ways). How would you enter a value in Int ? Well, you wonβt do it; a Int is just Int . Perhaps you can use zero or something else ...?
Now, if something is a container, it forms a monoid. But the monoid bit will not help you consider it as a container; you need to try something else for this. Many things that are not containers form monoids.
MathematicalOrchid
source share