apply constraint for type 型の制約式にも対応