そもそもそのレベルで性質が違うものを型パラに統合する事の意義は…という (edited)