Uses of Interface
fj.Monoid.AltDefinition