The API you suggest is nice, looks like a good base for Stdlib.Lazy, we’d then deprecate the existing API which is not very idiomatic. I think we’ll keep Lazy.t abstract though.
Regarding deref, we’re open to an operator, the current syntax is a bit cumbersome, but this is a different topic!