omochimetaru 4/1/2018 3:19 AM

これおもろいね

3:19 AM

Mapped == Selfって制約を足せば

3:19 AM

いわゆるファンクターになるんかな？