functor $ export append: MyAppend define fun {MyAppend L} L end end