คุณสมบัติของโปรแกรม · สถานะชนิดข้อมูลครบถ้วน

switch (state.kind) {
  case 'ready': return render(state.data);
  case 'failed': return showError(state.error);
  default: return assertNever(state);
}