Re: Re[2]: Rigid types fun