Function sequence

packages/typeclass/src/Traversable.ts:47–51

(T: Traversable<T>)

 */
export const sequence =
  <T extends TypeLambda>(T: Traversable<T>) =>
  <F extends TypeLambda>(F: Applicative<F>) =>
  <TR, TO, TE, R, O, E, A>(
    self: Kind<T, TR, TO, TE, Kind<F, R, O, E, A>>
  ): Kind<F, R, O, E, Kind<T, TR, TO, TE, A>> => T.traverse(F)(self, identity)

/**
 * Given a function which returns a `F` effect, thread this effect