well, it is also used in those case classes below, where it is not boxed