そもそも型がゆるふわかどうか面って、どこがどのようにゆるふわかで例えばオレンジが大好きな（だけど実用はしたことが無い）Adaの思想であれば「整数型とかそのまま使うのマジ！？ ちゃんと名前ついた型作れよ」みたいな発想だし、あれかも＞＜