Types within Holzher