Fixed another type dependencies problem

If m[x] = 1, then the type of m depends on the type of x