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