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

No results found