TypeError { type_message: MergeAnnotMismatch, context: TypecheckContext([]) }