Works for modules, graded modules, etc. The components of the sum can be recovered with components.
Ways to use isDirectSum :