>>53
は?
何一つ反論出来てないが?ん?
型理論知らなかった時点で白痴