CHOSEN for fixation: TypeVariable(T) --- FORBIDDEN
     <: CapturedType(*)
********************************
CHOSEN for fixation: TypeVariable(T) --- READY_FOR_FIXATION_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES
     <: CapturedType(*)
     <: TypeVariable(K)
     = CapturedType(*) (inferred during fixation)
    FIXED TO: CapturedType(*)
TypeVariable(K) --- READY_FOR_FIXATION_LOWER
     >: Path
     >: CapturedType(*)
     = Traversable (inferred during fixation)
********************************
CHOSEN for fixation: TypeVariable(K) --- READY_FOR_FIXATION_LOWER
     >: Path
     >: CapturedType(*)
     = Traversable (inferred during fixation)
    FIXED TO: Traversable
********************************
