types for higher dimensions