some core.typed code