First constrained type test working