Simplified tyEq2 return type