type redefined