:: (a -> a -> a) -> t a -> a package:ghc