Align and Zip type-classes from the common Semialign ancestor
