You may have heard of the monad laws. There are three of them. They even have names!^[1]

Lots of interfaces have laws that are not enforced by the compiler.

You are all familiar with many of them.