모나드 같은거 ㄷ


수리논리학에 가까운듯