[%] 하스켈에서 타입클래스가 주어진 타입에 유니크하다는게 무슨 말임?

[익명(202.14)]

임의의 주어진 타입에 대하여 펑터는 유니크하고 모노이드는 유니크하지 않다는데 타입에 대해 유니크하다는 뜻이 대체 뭐지???

[더블초코냥(218.232)]

펑터 법칙을 만족시키는 펑터 구현은 유일하다는 소리임.

[익명(202.14)]

구현하려면 무조건 그렇게 유일하게 될수밖에 없다야 아니면 그렇게 유일하게 구현해야만 한다야?

[더블초코냥(218.232)]

펑터 법칙을 만족시키는 구현은 하나 밖에 없다는 소리임

[익명(202.14)]

ㅇㅋㅋ 감사감사