ESM Branch

ATTENTION: Set TS version to 4.7

Module config is set to ESM. See index.ts: Variable b is inferred as Kind2<M, E, A>