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

No results found