Re: Extracting values from several data constructors