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