:: (c -> d) -> (a -> b -> c) -> a -> b -> d -package:intro -package:pointless-fun is:exact -package:wrap -package:fitspec package:composition-prelude