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