module Chapter4.Desc.Examples.Main where

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