mapped type is type annotation now