다만 내가 러스트 하다 와서 그런지 간결한 문법이 너무 어색하고 이해하는 데 굉장히 거슬림이새기 진입장벽 높이는 데 가장 크게 기여하는 건 모나드가 아니라 쉼표와 괄호의 부족인 듯난 좀 길어도 견고해 보이는 표기법이 좋아 흑흑
괄호는 인덴트만 맞추면 원하는 만큼 써도 되니 머..
난 괄호보단 함수 <|, <|>, 이지랄 하는게 어지럽더라
개념 이해를 떠나서 존나 헷갈림
Agda도 해보죠 그럼