type ordering