{-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-}

module T9867 where

pattern Nil = [] :: [a]