BS.Lazy termination done except `split`, `splitWith`, `group`, and `groupBy`