[sinkasapa]

It seems like if you want the expressiveness of the simply typed lambda calculus, higher order functions are more than just syntactic sugar.