現状の型のセマンチクスを変更しないからそうでもないような
あ、conceptとか入れたらlookupの挙動が変わる？