3 (+) :: !Int !Int -> Int
9 (*) :: !Int !Int -> Int
15 (-) :: !Int !Int -> Int
23 fac n = n * fac (n - 1)
25 :: List a = Cons a (List a) | Nil
26 toList :: [a] -> List a
28 toList [x:xs] = Cons x (toList xs)
30 length :: (List a) -> Int
32 length (Cons _ xs) = 1 + length xs
37 plus :: Int -> (Int -> Int)
40 Start = (fac 5, length (toList [0,1,2,3,4,5]), inc, plus)