cyclic dependency and main/module package.json breaks structural typing

[AlexGalays]

TypeScript Version: 3.2.1

Code

See this repository reproducing the issue: https://github.com/AlexGalays/repro-ts-bug-module-duck

Just call yarn and check index.ts.

Expected behavior:

It should compile

Actual behavior:
With the introduction of a cycle in the lib modules (Option.toResult, and Result.toOption)
an Option from the /es folder is no longer compatible with an Option from the /commonjs folder (which is the reference for typings in package.json) even though they are structurally identical.

[RyanCavanaugh]

The error message, for posterity, is

index.ts:6:3 - error TS2322: Type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Option<string>' is not assignable to type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Option<string>'.
  Types of property 'isDefined' are incompatible.
    Type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<string>' is not assignable to type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<string>'.
      Type predicate 'this is Some<string>' is not assignable to 'this is Some<string>'.
        Type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<string>' is not assignable to type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<string>'.
          The types of 'map(...).isDefined' are incompatible between these types.
            Type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<any>' is not assignable to type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<any>'.
              Type predicate 'this is Some<any>' is not assignable to 'this is Some<any>'.
                Type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<any>' is not assignable to type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<any>'.
                  Types of property 'flatMap' are incompatible.
                    Types of parameters 'fn' and 'fn' are incompatible.
                      Call signature return types 'Option<B>' and 'Option<unknown>' are incompatible.
                        The types of 'isDefined' are incompatible between these types.
                          Type '() => this is Some<B>' is not assignable to type '() => this is Some<unknown>'.
                            Type predicate 'this is Some<B>' is not assignable to 'this is Some<unknown>'.
                              Type 'Some<B>' is not assignable to type 'Some<unknown>'.
                                The types of 'map(...).isDefined' are incompatible between these types.
                                  Type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<any>' is not assignable to type '() => this is import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<any>'.
                                    Type predicate 'this is Some<any>' is not assignable to 'this is Some<any>'.
                                      Type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/commonjs/option/index").Some<any>' is not assignable to type 'import("D:/Throwaway/repro-ts-bug-module-duck/node_modules/space-lift/es/option/index").Some<any>'.
                                        Types of property 'flatMap' are incompatible.
                                          Types of parameters 'fn' and 'fn' are incompatible.
                                            Call signature return types 'Option<B>' and 'Option<unknown>' are incompatible.
                                              The types returned by 'flatMap(...).get()' are incompatible between these types.
                                                Type 'unknown' is not assignable to type 'B | undefined'.

6   return lift(array).find(s => s === str);

Even for textually-identical types there's not always going to be a way to recognize them as "the same" without harming other useful invariants (performance, non-circularity, etc). This isn't a module problem as much as it is just a fundamental limitation of the structural algorithm; you could have two types like this in the same file and see the same issue.