Re: [support] Limiting a term to a type