map([i32], foo)
