:: a -> (a -> b) -> b -package:ghc -package:configuration-tools package:funcmp