Mona was a minor variation of Oberon that sported recursive data types, Mona author Martin Odersky went on to write Scala which sports recursive data types.
Publications
Martin Odersky: Recursive data types and a report on the Mona notation of algorithms - 1989 PDF