この手の型システムも硬い方がいいじゃんって話になっていきそうな気がした