-- Right chain, : case, 2 operators with p(a) == p(:)
k :: Int
k =
  1 ++
  2 ++
  3 ++
  4 :
  5 ++
  6 ++
  7 ++
  8