module Chapter4.Desc.Examples.Main where open import Chapter4.Desc.Examples.Nat open import Chapter4.Desc.Examples.List open import Chapter4.Desc.Examples.Tree