Re: tricky instance declarations