-categories  now mixed type