noSeqPos :: [Match p] -> Bool
noSeqPos (x:y:xs) = not (bothPos x y) && noSeqPos (y:xs)
noSeqPos :: [Match p] -> Bool
noSeqPos (x:y:xs) = not (bothPos x y) && noSeqPos (y:xs)
noSeqPos (x:y:xs) = not (bothPos x y) && noSeqPos (y:xs)