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