Narrowing and widening for standard function types