core.typed: Function types