Laziness Versus Strictness in Haskell

I think linear that solves a lot of problems. I love laziness because it's so expressive. And then you can operate on these infinite data types. You don't have to worry about how much memory an infinite data type takes. Only if you access it, right? There is a growth and deep vibration. No, no. So both it was an Haskell now have linear types, right? Is that something you've been experimenting with? Yeah, I'm experimenting with Haskell linear types.