{-# LANGUAGE PatternSynonyms #-}

data F = F [Int] [Int]

pattern Concat :: [Int] -> F
pattern Concat (xs1 <> xs2) <- F xs1 xs2