-- Pattern synonyms

{-# LANGUAGE PatternSynonyms #-}
module ShouldCompile where

pattern Single x = [x]