GADT

일러두기 이 글은 GADTs: Primer (원문) 의 번역입니다. 원문과 같이 본문에는 ReasonML을 그대로 유지했지만, 코드 예제는 일부를 제외하고 최대한 리스크립트 문법으