Code

Digging newtype

간편하게 isomorphic을 확보하기 위한 수단. 특정 조건(하나의 레코드, 하나의 데이터 생성자를 가짐)하의 데이터 타입일 때 (최적화를 위해서) 쓰세요.