@type t() :: %DataSpecs.Schema.Type{
  id: atom(),
  module: module(),
  type: type(),
  vars: [DataSpecs.Schema.Type.Var.t()],
  visibility: visibility()
}

@type type() ::
  DataSpecs.Schema.Type.Literal.Atom.t()
  | DataSpecs.Schema.Type.Literal.Integer.t()
  | DataSpecs.Schema.Type.Builtin.t()
  | DataSpecs.Schema.Type.Bitstring.t()
  | DataSpecs.Schema.Type.Range.t()
  | DataSpecs.Schema.Type.Var.t()
  | DataSpecs.Schema.Type.Union.t()
  | DataSpecs.Schema.Type.List.t()
  | DataSpecs.Schema.Type.Tuple.t()
  | DataSpecs.Schema.Type.Map.t()
  | DataSpecs.Schema.Type.Ref.t()
  | DataSpecs.Schema.Type.Unsupported.t()

@type visibility() :: :type | :typep | :opaque