If Haskell were strict, what would the laziness be like? (nikita-volkov.github.io)

It is in an actual language! It's called ML! And modules are better for abstraction than type classes.