added negative tests to check canonical type violations