If the verbose return type syntax can't be elided, I think it's more or less dead as a pattern.