-- Compiling
instance Gram_Term_AtomsFor src ss g Either
-instance (Source src, Inj_Sym ss Either) => Module src ss Either where
- module_ _s = [] `moduleWhere`
+instance (Source src, Inj_Sym ss Either) => ModuleFor src ss Either where
+ moduleFor _s = ["Either"] `moduleWhere`
[ "Left" := teEither_Left
, "Right" := teEither_Right
, "either" := teEither_either