この前の、gistにも貼った＞＜

ちゃんと型検査される、『「どっちがでかいの？ていうか同じ？」型』＞＜ https://gist.github.com/orange-in-space/51a5ea3884bc0f001923b0a8a6734772