1 2 3 4 5 6 7
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