Re: [Haskell-beginners] Structural restrictions in type constructor

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