/src/Helium/Algebra/Ordered/StrictTotal/Morphism/