I disagree.  If you feel strongly about the return type being present (even though the user will have to look up what ElemType is anyway) I think using the alias in both places is best.  `typeof(return)` does not give any advantage over just using the type.