houzyk

const isAutological = (func, ...funcParams) => {
  const funcReturnValue = func(...funcParams);
  return Object.is(funcReturnValue, func);
}

const isHeterological = (func, ...funcParams) => {
  return !isAutological(func, ...funcParams);
}

const anAutologicalFunc = () => anAutologicalFunc;

houzyk

const zero = F => V => V;
const one = F => V => F(V);
const two = F => V => F(F(V));
const three = F => V => F(F(F(V)));

const add = N => M => F => V => N(F)(M(F)(V));
const multiply = N => M => F => V => N(M(F))(V);
const power = N => M => F => V => (M(N))(F)(V);

const successor = N => F => V => F(N(F)(V));