Re: getOpt return record of type a rather than [a]