module Chapter5.Desc.Examples.Main where

open import Chapter5.Desc.Examples.Nat
open import Chapter5.Desc.Examples.List
open import Chapter5.Desc.Examples.Tree