Try out core.typed.