Links for algebraic-data-type