add example whoing that tuple fields need to be initialized to typecheck