upzylon

  type λ<TA extends any[] = any[], TR = any> = (...args: TA) => TR;

  function pipe<A>(a: A): A
  function pipe<A, B>(a: A, ab: (a: A) => B): B
  function pipe<A, B, C>(a: A, ab: (a: A) => B, bc: (b: B) => C): C
  function pipe<A, B, C, D>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D): D
  ...

  double(square(half(2)))

  pipe(half, square, double)(2)

  pipe(() => 10, n => n.toString())

  () => any

  pipe(() => 10, (n: number) => n.toString())

  () => string

    partition([1,'a',2,'b',3], (el): el is string => typeof el === 'string')

  const returnCache = new Map<() => any, any>()

  const memoized = <T extends () => any>(f: T): ReturnType<T> => {
    if (returnCache.has(f)) return returnCache.get(f)
    const v = f()
    returnCache.set(f, v)
    return v
  }