모노이드 인스턴스 구현 가능하다는 전제하에 주로 뭐 씀?

머리에 fold가 너무 강하게 박혀서 굳이 모노이드를 강조하고 싶은게 아니면 쓸일이 안 생기는 것 같은데