Using a simple type bound to enforce batchable restrictions.