fixed such_as referring to constant type