Suppose we're given a type, such as one of

a -> (b -> b) a -> (b -> a) a -> (a -> b)

Are there any functions with these types? Next Next