Unary datatype constructors don't need memory allocation

First published at 21:27 UTC on August 20th, 2018.

Of course there would be 'runtime checking' in something like case+ x of knight(_) => ... | ninja(_) => ...; , as the tag value is what distinguishes a knight from a ninja.

@00:23, "just like an enum class in any other language...

CategoryScience & Technology
SensitivityNormal - Content that is suitable for ages 13+