대수적 자료형의 역링크