<div dir="auto">Does one field name for one datatype always refer to a field with the same type? Or is there some wacky extension that would allow things like<div dir="auto"><br></div><div dir="auto">data Foo</div><div dir="auto">  = Bar { zoom :: Int }</div><div dir="auto">  | Baz { zoom :: Char }</div><div dir="auto"><br></div><div dir="auto">I'm hoping I don't have to worry about the latter possibility....</div></div>