type-system1개의 κΈ€