{-# LANGUAGE PatternSynonyms #-}

pattern Blah :: a -> Maybe a
pattern Blah a = Just a

test :: Maybe Bool -> a
test (Blah False) = _w0
test (Blah True) = _w1