{-# LANGUAGE PatternSynonyms #-}
module AutoSplit.Pattern
  ( pattern SPLIT
  ) where

-- | Used to induce the incomplete patterns warning from GHC
pattern SPLIT :: a
pattern $mSPLIT :: forall {r} {a}. a -> ((# #) -> r) -> ((# #) -> r) -> r
SPLIT <- _