module NotatieADT

:: Dag      = Maandag | Dinsdag | Woensdag | Donderdag | Vrijdag | Zaterdag | Zondag
:: Nat      = Nat Int
:: Getal    = Geheel Nat | Decimaal Real
:: Functies = F0 Int | F1 (Int -> Int) | F2 (Int Int -> Int)
:: Void     = Void