MichelsonTypeNever: Type0<"never">