import StdMaybe

:: Link t = { next :: Maybe (Link t), data :: t }