Questions about types