Jest to definicja nowego typu danych:
data Total a = Total a :+: Total a
|...
Co oznacza: +: średnia w definicji tego typu?
Jest to definicja nowego typu danych:
data Total a = Total a :+: Total a
|...
Co oznacza: +: średnia w definicji tego typu?
Jest to konstruktor danych zapisany w formie infiksowej. Możesz mieć operatora jako konstruktora, jeśli zaczyna się od :
.