cleanup
Layered implicit parameters check requires to check wrong type parameter inferred too.