Add TypeclassBijection