export * as recurse from './recursive.js'

export type {
  bottom,
  Boundable,
  BoundableTag,
  Entry,
  F,
  Fixpoint,
  Free,
  invalid,
  Leaf,
  LowerBound,
  Nullary,
  NullaryTag,
  Predicate,
  ReadonlyArray,
  Schema,
  Tag,
  TypeName,
  Type,
  Unary,
  UnaryTag,
  UnaryTypeName,
  top,
  typeOf as typeof,
} from './schema.js'

export {
  isLeaf,
  isNullary,
  isNullaryTag,
  isBoundable,
  isBoundableTag,
  isPredicate,
  isUnary,
  isCore,
  Functor,
  IndexedFunctor,
  // makeIndexedFunctor,
  fold,
  foldWithIndex,
  unfold,
  tags,
} from './schema.js'

export { key, has } from './has.js'

/* data-types & combinators */
export * from './combinators.js'
export { enum } from './enum.js'
export {
  never,
  unknown,
  any,
  void,
  null,
  undefined,
  symbol,
  boolean,
  integer,
  of,
  bigint,
  number,
  string,
  nonnullable,
  eq,
  ref,
  optional,
  array,
  readonlyArray,
  record,
  union,
  intersect,
  tuple,
  object,
} from './schema.js'

/** 
 * exported as escape hatches, to prevent collisions with built-in keywords
 */
export type {
  null as null_,
  undefined as undefined_,
  void as void_,
} from './schema.js'