adding some info on taged types