module Chapter11.Patch.Examples.Append
         (A : Set)
       where

open import Chapter11.Functions.Examples.Plus
open import Chapter11.FunOrnament.Examples.Append

open import Chapter11.Patch


typeILookup : Set
typeILookup = Patch _+_ (typeAppend A)