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?