アドレスを求めてリストにするという考えがすでにFunctionalじゃないような。

破壊的代入が無いことを良しとするFPでは、
オブジェクトの要素が「後から変わる（破壊的代入）事」を心配しないので、
オブジェクトの内部表現はすべてpointer（のはず）ですよ。

Succ listにSuccなオブジェクトをaddすりゃいいんでないの？