The sugar also won't work in all cases, e.g: `class C[M[_, _]]; new C[Pair]`