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

No results found