{-# LANGUAGE PatternSynonyms #-}

module T14747A where

pattern S{x} = [x]