A polyvariadic fixpoint in F#

Or who needs non-strict semantics when you have references?