そもそも型で躓く人はプログラミングに向いてないと思うんだよね