intro: types, i/o