const maybe_ = (n, f, m) => {
    if (isMaybe(m) === false) { return error.typeError(m, maybe); }
    return isNothing(m) ? n : f(fromJust(m));
  }