module T7943 where

data Foo = A { bar :: String }
         | B String { bar :: String }