Correct. And this is good. It's what makes Haskell so powerful. You can look at a type and immediately know a huge number of rules its implementation must follo

Correct. And this is good. It's what makes Haskell so powerful. You can look at a type and immediately know a huge number of rules its implementation must follow. And even better, the type is machine checked. So unlike prose documentation, it can never lie to you.