() is not an ordered type