Restored types annotation