Data-first twin of TaskClass#ensure — the invariant, receiver-first.

import { define } from '../result/failure.ts';
const Empty = define('Empty', 'no rows');

const rows = Task(() => [1, 2]);
await Task.ensure(rows, (r) => r.length > 0, () => Empty()); // [1, 2]