Types within PAMA