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