Types within STATE