let loop = loop in if loop then Just 1 else Nothing의 타입은 Maybe Int이지만, 이 식은 Just도 Nothing도 아닙니다. 어느 쪽인지 가리려면 조건이 필요한데, 그 조건은…
