If f and g are homomorphisms of modules, then f @@ g yields their composite as a homomorphism.
The user may install other binary methods for this operator with code such as
X @@ Y := (x,y) -> ...