@nanasi それはlower-boundなだけでなくてCRTPになってるから更にややこしそうですね　僕も見た記憶がある