0c786b71 ​

let g: OList OList Color

let input = g

let output = g
  |> (λg. flat [rev g, g])
  |> (λg. hcat [map rev g, g])