1 2 3 4 5
{-# LANGUAGE PatternSynonyms #-} module WildcardInPatSynSig where pattern Single :: () => (Show a) => _ -> [a] pattern Single x = [x]