Overloaded function type is not the lub of its alternatives.