module Chapter9.Lift.Main where open import Chapter9.Lift.Fold open import Chapter9.Lift.Induction open import Chapter9.Lift.Case open import Chapter9.Lift.Constructor open import Chapter9.Lift.Examples.Head open import Chapter9.Lift.Examples.Lookup open import Chapter9.Lift.Examples.Append