hls-tactics-plugin-1.8.0.0: new/test/golden/AutoPatSynUse.hs

{-# LANGUAGE PatternSynonyms #-}

pattern JustSingleton :: a -> Maybe [a]
pattern JustSingleton a <- Just [a]

amIASingleton :: Maybe [a] -> Maybe a
amIASingleton (JustSingleton a) = _