{α : Type u_5} →
  {ι : Type u_6} →
    {κ : Type u_7} →
      {C : (ι → Option α) → κ} →
        (line : Combinatorics.Line (Option α) ι) →
          (color : κ) → (∀ (x : α), C (↑line (some x)) = color) → Combinatorics.Line.AlmostMono C