言語仕様上ないのはそう言うものだとしても、
バックにある理論と言うか圏論とか（よく分からんけど）で、>>112ができると具合が悪い理由と言うか考え方があるのだろうか