Function coercions.
Eliminate the cost of identity coercions.