>>435
トポスなんてHaskellの本に出てこないけど
ここでは一般常識なんでしょ?