core.typed example