[Haskell-beginners] Structural restrictions in type constructor

Imants Cekusins imantc at gmail.com
Mon Jun 22 11:36:03 UTC 2015


> 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


More information about the Beginners mailing list