Not for the first time I wonder if our function types are truly com...