Re: Attributed types