pub fn unify(
  t1: isomorphic.Type(Int),
  t2: isomorphic.Type(Int),
  level: Int,
  bindings: dict.Dict(Int, binding.Binding),
) -> Result(dict.Dict(Int, binding.Binding), error.Reason)

Deprecated: Use unify_with_bindings to retain bindings on failure

pub fn unify_with_bindings(
  t1: isomorphic.Type(Int),
  t2: isomorphic.Type(Int),
  level: Int,
  bindings: dict.Dict(Int, binding.Binding),
) -> Result(
  dict.Dict(Int, binding.Binding),
  #(error.Reason, dict.Dict(Int, binding.Binding)),
)