식중심 문법이랑 고차함수, 모나드 쓰기가 편해짐