so it won't ruin autotyped classes' constraints