MichelsonTypeNever: Type0<"never">
""