Function refinement

Functions -- as a service

contravariance



slide: The function subtype relation