[FS] MS-FS-LC1-107

Section 7.4

Technical

 

Prime(empty) = none: How can we get none as the prime type? Isn't that
leading to errors since none reflects the type of an error? Why not =
empty? For example, you say:

prime(element a | empty)                  = element a

But isn't this element a | none? And doesn't none propagate (so that we
propagate errors?)