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