adamc@418: open Metaform.Make(struct
adamc@418:                        val names = {A = "Tic", B = "Tac", C = "Toe"}
adamc@632:                        val fl = Folder.cons [#A] [()] ! (Folder.cons [#B] [()] ! (Folder.cons [#C] [()] ! Folder.nil))
adamc@418:                    end)