let index f = f