Types within UHLMANN