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

No results found