Rough sketch of dealing with unknown types.