なるべく型安全にしたいという考えは、静的型付け言語を扱う人なら誰もが持っているはずです。しかし、自由度の高い型定義を行うことで、コードが複雑···