Small preamble to explain types