Empty, Error and Never overloads with type witness

Witness variants for #653.