ソースコードは静的なのに、
型定義を動的にやっても意味は無い。