"Heat" up Arcs

[alxmrs]

In #2984 , a higher-order-types (hot.ts) file was introduced. Subsequently (in #3012, #2998, etc.), additional types were added.

Let's update the codebase to express functions and data types as applications of higher order types instead of "hard-coded" ones.

Let's heat up Arcs!

[lindner]

Any interest in something like this:

export type Predicate<T> = (input: T) => boolean;
export namespace Predicate {
  export const alwaysTrue = <T>() => true;
  export const alwaysFalse = <T>() => false;
  // TODO and(..) negate(..) or(..) etc..
}

[lindner]

Looking into starting a Guava for Typescript. we'll see how that progresses..