types which we touch in HiDE