これをFunctionの共変/反変で判定するところまで持ち込んで、多変数でも1パラメータでいけるようにして、ってやったのが

4:24 AM

さっきの