Fixing specialization for higher-order combinators.