unifies type errors across servers