Comment Comment by mssdvd How come the authors did not want to add proper sum-types? parent mssdvd 4 years ago
