Include Semigroup TypeclassBijection