Rank-N Polymorphism 좀 설명해주셈
forall 아무리봐도 먼소린지 머르겠은