Single-arg, typed function translation