Re: Data constructor of VersionIntervals not exported