Uses of Interface
fj.Semigroup.AltDefinition