Types within HOIST