明示的な型注釈によって推論コストを下げるというアプローチ