Templates allow return types to differ from arguments.