>>159
何をきっかけに考え始めたの?
自然変換や多相関数っていうのは知ってるんだよね?