One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole