> three laws in Haskell

The laws are mathematical ones, that can't be expressed in the Haskell type system.

> And at some point the original meaning got lost

This is false. The original meaning is a mathematical one, and its use in Haskell conforms to that.

That meaning is not "lost", it's the only valid and rigorous definition there is. People who think the meaning is lost are simply ignorant. All they would have to do to correct that ignorance is a minimal amount of research.