Types within RWM