We characterize pension systems along three dimensions: 1) actuarial vs. nonactuarial, 2) funded vs. pay-as-you-go, 3) defined-contribution vs. defined-benefit. Increasing the degree of actuarial fairness, by strengthening the linkage between contributions and benefits, reduces labor market distortions and may increase welfare in a Pareto-efficiency sense. Increasing the degree of funding impli...