Can operators "return" type?

[Zhenya]

Hi!
It would useful for some my project,if operators could be a 
template,that "return"
type.Something like
alias TypeTuple!(int,char) types;

static assert(types[1] == char) //opIndex

So can I define something like that?