Deep and shallow types