wadler 교수님의 theorems for free 논문을 읽고,
다음과 같은 생각이 들었는데 맞나요?
관계 A: a <=> b, B: f a <=> f b가 주어졌을 때,
임의의 함수 fmap1, fmap2 :: (a → b) → (f a → f b)에 대하여,
순서쌍 (fmap1, fmap2)가 관계 A → B의 원소이므로,
fmap1과 fmap2가 Functor's law를 만족시키면 fmap1 == fmap2인가요?
여기서 a :: *, b :: *, f :: * → *은 타입입니다.