:: f (f a -> f b) -> f a -> f b is:exact

No results found