Reify a recursive data structure into an explicit graph
Description
'data-reify' provided the ability to turn recursive structures into
explicit graphs. Many (implicitly or explicitly) recursive data
structure can be given this ability, via a type class instance. This
gives an alternative to using 'Ref' for observable sharing.
