Hi! Just getting started with FP and looking into Monoids to build a simple boolean expression language. Am I correct in saying that the monoid is the operation and not a datatype?
So
True AND False
Here the monoid is the AND operation over booleans?