The types: ```haskell maximumOn1 :: (Ord b, Foldable1 f) => (a -> b) -> f a -> a minimumOn1 :: (Ord b, Foldable1 f) => (a -> b) -> f a -> a ```
The types: