hls-tactics-plugin-1.2.0.0: test/golden/AutoPatSynUse.expected.hs

{-# LANGUAGE PatternSynonyms #-}

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

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