1 module TypSamples where
8 , "[b] -> (a -> b) -> b" -- 5
10 , "(((a -> b) -> b) -> b) -> b"
11 , "((( a -> (b -> b)) -> b) -> b) -> b"
12 , "(a -> b) -> ((b -> c) -> c)"
13 , "(a -> [b]) -> b" -- 10
14 , "(b -> (a -> b)) -> b"
15 , "(((c -> (a -> [b])) -> b) -> c) -> (((b -> [c]) -> (c -> d) -> [d]))"
18 [ "(a -> Int) -> (Int -> Int)" -- Ex 1