Il numero di operazioni binarie su un set di 2 elementi è 2^(2*2)=16. Numero di un'operazione binaria associativa sul set solo 8. Numero di un'operazione binaria su un insieme di 3 elementi è 3^(3 * 3
Sto cercando di fare un esempio Semigroup e VerifiedSemigroup sul mia abitudine Bool tipo di dati sia dell'operatore && e operatore ||: %case data Lógico = Cierto | Falso
(&&) : Lógico -> Lógico ->