Traversable Laws 중에 Naturality라고 이걸 써놓음


t . traverse f = traverse (t . f)


근데 여기서 t가 applicative transformation이어야 성립하는 건데 명시도 안 되어있고

이 law가 책에 나올 시점은 아직 transformation 챕터 전...


소스 찾아보니 거기는 제대로 명시되어 있네 시불...

나 30분 동안 이미 머리 쥐어짰는데