タイプ量タイプ量ってさぁ
型無し言語かhaskellでもやってろ