I really hope that

         | _ ++ ($p :: #(p + 2) :: _) -> (p, p + 2)

is valid syntax. That would've cleared the whole thing up for me.