Allow requiring functions with filters in contravariant positions.