Built-in types
Apart from (inferred or explicitly defined) algebraic data types,
Cactus has the following built-in types and operators:
- Int, Float: +, -, *, /
- Char, String
- Bool: True, False, &&, ||, !
- [_] (lists): :, ++
- (_,_) (tuples)
- _? (Maybe, optional values)