TypeError { type_message: MergeVariantMissingHandler(Label("y")), context: TypecheckContext([]) }