module LijstTypes import StdEnv Start = 0 e1 :: [Int] e1 = e2 :: [Bool] e2 = e3 :: [[Int]] e3 = e4 :: [[[Real]]] e4 = e5 :: [Int Int -> Int] e5 =