Using TDNR, it will be possible to write the following code:

data Foo = Foo { name :: String }

data Bar = Bar { name :: String }

getName :: Either Foo Bar -> String

getName (Left  f) = name f

getName (Right b) = name b

However, currently you cannot: "Multiple declarations of 'name'"