힌들리밀너 타입 시스템의 역링크