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