SYMBOL INDEX (40 symbols across 3 files)

FILE: src/index.spec.ts
  type Maybe (line 14) | type Maybe<A> = { tag: 'none' } | { tag: 'some'; value: A };
  type List (line 28) | type List<A> = { tag: 'nil' } | { tag: 'cons'; head: A; tail: List<A> };
  type Either (line 46) | type Either<A, B> = { tag: 'left'; left: A } | { tag: 'right'; right: B };

FILE: src/index.ts
  type _ (line 6) | interface _<N extends number = 0> {
  type _0 (line 9) | type _0 = _<0>;
  type _1 (line 10) | type _1 = _<1>;
  type _2 (line 11) | type _2 = _<2>;
  type _3 (line 12) | type _3 = _<3>;
  type _4 (line 13) | type _4 = _<4>;
  type _5 (line 14) | type _5 = _<5>;
  type _6 (line 15) | type _6 = _<6>;
  type _7 (line 16) | type _7 = _<7>;
  type _8 (line 17) | type _8 = _<8>;
  type _9 (line 18) | type _9 = _<9>;
  type Fixed (line 26) | interface Fixed<T> {
  type $ (line 34) | type $<T, S extends any[]> = (
  type TupleTable (line 58) | type TupleTable<T extends any[] = any, S extends any[] = any> = {

FILE: src/static-land.ts
  type Setoid (line 3) | interface Setoid<T> {
  type Ord (line 7) | interface Ord<T> extends Setoid<T> {
  type Semigroup (line 11) | interface Semigroup<T> {
  type Monoid (line 15) | interface Monoid<T> extends Semigroup<T> {
  type Group (line 19) | interface Group<T> extends Monoid<T> {
  type Semigroupoid (line 23) | interface Semigroupoid<T> {
  type Category (line 27) | interface Category<T> extends Semigroupoid<T> {
  type Filterable (line 31) | interface Filterable<T> {
  type Functor (line 35) | interface Functor<T> {
  type Bifunctor (line 40) | interface Bifunctor<T> {
  type Contravariant (line 55) | interface Contravariant<T> {
  type Profunctor (line 59) | interface Profunctor<T> {
  type Apply (line 63) | interface Apply<T> extends Functor<T> {
  type Applicative (line 67) | interface Applicative<T> extends Apply<T> {
  type Alt (line 75) | interface Alt<T> extends Functor<T> {
  type Plus (line 79) | interface Plus<T> extends Alt<T> {
  type Alternative (line 83) | interface Alternative<T> extends Applicative<T>, Plus<T> {}
  type Chain (line 85) | interface Chain<T> extends Apply<T> {
  type Monad (line 93) | interface Monad<T> extends Applicative<T>, Chain<T> {
  type Foldable (line 105) | interface Foldable<T> {
  type Extend (line 109) | interface Extend<T> extends Functor<T> {
  type Comonad (line 113) | interface Comonad<T> extends Extend<T> {
  type Traversable (line 117) | interface Traversable<T> extends Functor<T>, Foldable<T> {