Add `Lift{Kind,Value}` instances for `Stream`#3594

Merged

mpilquist merged 2 commits intotypelevel:mainfrom

NthPortal:Stream-lifts/PR

Sep 24, 2025

Commits on Aug 25, 2025

Add `Lift{Kind,Value}` instances for `Stream`
NthPortal
committed

Commits on Sep 9, 2025

Merge branch 'main' into Stream-lifts/PR
mpilquist
authored