We know that b→b is inhabited (id for example)

So

\a -> id :: a -> (b -> b) \a -> (\b -> b) :: a -> (b -> b)