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