compose/andThen only require Compose
Lower-priority Semigroup, given Compose[=>:]