Equivalence and conformance were improved for higher kinded types #SCL-3819 Fixed