Some doubts about types