[손님]

6번과 7번 모두 각각을 시뮬레이션할 경우로 생각하여 2친수의 타입을 모두 정의해 주었는데

7번의 마지막 성질을 확인해 보고자 nml 에서 6번 코드와 7번 코드 를 모두 로드하여 crazy2val(crazy2add(~, ~)) 를 실행해본 결과 타입 에러가 나타났습니다.

이렇다면 두 코드를 동시에 시뮬해보기 위해선 7번의 타입 정의를 빼주어야 하는데

과제제출할 시에는 두 코드에 모두 타입정의를 넣어야 하는지 한쪽에만 넣어줘야 하는지 궁금합니다.

[최원태]

타입정의는 양쪽에 각각 넣어주시면 됩니다.
과제는 독립적으로 채점합니다.