True
type S :: *
data S = MkS {Ghci1.foo :: Int}
  	-- Defined at <interactive>:3:16

type T :: * -> *
data T a = MkT {Ghci2.foo :: Bool, ...}
  	-- Defined at <interactive>:4:18

<interactive>:1:1: error:
    Ambiguous occurrence ‘foo’
    It could refer to
       either the field ‘foo’, defined at <interactive>:3:16
           or the field ‘foo’, defined at <interactive>:4:18

<interactive>:9:1: error:
    Ambiguous occurrence ‘foo’
    It could refer to
       either the field ‘foo’, defined at <interactive>:3:16
           or the field ‘foo’, defined at <interactive>:4:18
True

<interactive>:1:1: error:
    Ambiguous occurrence ‘foo’
    It could refer to
       either the field ‘foo’, defined at <interactive>:3:16
           or the field ‘foo’, defined at <interactive>:4:18
foo :: U -> Int
42