EncoreWithDataFuts

In the context of a parametric function whose type parameter is t, if
t = Flow[int], performing a get* on a value of type Flow[t] produces a
value of type int at runtime, which needs to be lifted to Flow[int] to
prevent an inconsistency between the static type system and the runtime
type system: the static type system would see t = Flow[int] and the
runtime would see t = int, which would trigger bugs when using the value
returned by the call to get*.