[throwaway17_17]

I’m curious, is the ‘true’ sum types, I mean where true is in quotes, based on the premise that lazy language can not have logically true sum types? Or is it in the quotes for some other reason?

[dddbbb]

I was just responding to the parent comment's claim that Haskell's sum types are not true sum types.