両方のモナドに対して、集合をたたみこむ特性をプロトコル化して、一気に共通定義するみたいなことを

1

4:20 AM

タケトさんの発想だとできるが、現仕様だとできなそう