This is ugly.  Add another type parameter for dealing with quasideterminism.
WIP: having trouble doing a ParFuture instance with the fundeps approach
This is one other place we can get stuck. GetLVar attempt...