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)