Как кодировать отложенный тип с помощью Church?

С помощью функций мы можем абстрагироваться от любого типа. Вот пример типа Option:

const Some = x => y =>
  k => k(x);

const None = y =>
  k => y;

const sqr = n => n * n;

const run = f => t => t(f);

const x = Some(5) (0),
  y = None(0);

run(sqr) (x); // 25
run(sqr) (y); // 0

Теперь я хочу закодировать отложенный тип, чтобы получить ленивый эффект в Javascript. Но я не знаю правильного подхода и имеет ли смысл такое усилие с церковным кодированием. Вот мой первый снимок:

const Deferred = thunk =>
  k => k(thunk());

const inc = n => n + 1;

const sqr = n => n * n;

const run = f => t => t(f);

const x = Deferred(() => inc(4));

run(sqr) (x); // 25

Я здесь совершенно в темноте. Приводит ли этот подход к чему-либо значимому?