reversed types