ghc-exactprint-0.5.3.1: tests/examples/ghc80/T9867.hs

{-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-}

module T9867 where

pattern Nil = [] :: [a]