[Haskell-beginners] Structural restrictions in type constructor

[Imants Cekusins]

> But this is checking the values in the implementation, not a type level
build time guarantee, isn't it?

yep, correct. Could be caught by unit tests though :-P