Type-based Sensitivity Analysis