Now it type-checks