oh yeah, the lazy keyword got removed from v12, the support was not perfect and it was not commonly used but the Lazy module and Lazy.t<'a> are still here. We should likely improve the Lazy module API so it’s more consistent with the rest of the Stdlib and document this before v12 is released.
If you use lazy, we’d definitely welcome your feedback and/or contribution!