펑터랑 모나드 왜 쓰는진 알겠는데 그걸 고차원적으로 구현하려면 수학적 개념이 씨게 들어가니 며리아프다