Liczba operacji binarnych na zestawie 2 elementów to 2^(2*2)=16. Ilość binarnym asocjacyjnej działania na ten zestaw jest tylko 8. Ilość binarnym operacji na zestawie 3 elementów jest 3^(3 * 3) = 1968
Próbuję dokonać Semigroup i VerifiedSemigroup wystąpienie na mój zwyczaj Bool typu danych zarówno od operatora && i operatora ||: %case data Lógico = Cierto | Falso
(&&) : Lógico -> Lógico -> Lógico