純粋関数型なら満たそうと思えば満たせるのでは?