Union vs sum types (via nrposner) — discussion

#plt #rust