:: (c -> d) -> (a -> b -> c) -> a -> b -> d -package:fitspec -package:composition-prelude is:exact package:speculate