Upper Type Bounds Example