-- Compiling
instance Gram_Term_AtomsFor src ss g Foldable
-instance (Source src, Inj_Sym ss Foldable) => Module src ss Foldable where
- module_ _s = [] `moduleWhere`
+instance (Source src, Inj_Sym ss Foldable) => ModuleFor src ss Foldable where
+ moduleFor _s = ["Foldable"] `moduleWhere`
[ "foldMap" := teFoldable_foldMap
, "foldr" := teFoldable_foldr
, "foldr'" := teFoldable_foldr'