/NaturalTransformation/Instance/

• ../
• EmptyList.agda
• EmptyMultiset.agda
• ListAppend.agda
• MultisetAppend.agda