1 2 3 4 5
{-# LANGUAGE PatternSynonyms #-} module ShouldCompile where pattern Single :: a -> [a] pattern Single x = [x]