"The.value" typeerror, but values seem to match.

example.log

$ cat example.fm
example.3.0 : _
  pythonic.str.split("", "abc")

example.3.1 : _
  ["a", "b", "c"]


example.3.test: The(_, example.3.1)
  The.value<>(example.3.0)

$ fm example.fm
Type-checking:
example.3.0: List(String)
example.3.1: List(String)
example.3.test: error

Found 1 type error(s):

Inside example.3.test:
Found type... The(List(String),example.3.0)
Instead of... The(List(String),example.3.1)
On line 9:
     5|   ["a", "b", "c"]
     6|
     7|
     8| example.3.test: The(_, example.3.1)
     9|   The.value<>(example.3.0)



$ fmio example.3.0 | tee 3.0.log
{
  _: 'List.cons',
  head: 'a',
  tail: {
    _: 'List.cons',
    head: 'b',
    tail: { _: 'List.cons', head: 'c', tail: [Object] }
  }
}

$ fmio example.3.1 | tee 3.1.log
{
  _: 'List.cons',
  head: 'a',
  tail: {
    _: 'List.cons',
    head: 'b',
    tail: { _: 'List.cons', head: 'c', tail: [Object] }
  }
}

$ diff -s 3.0.log 3.1.log
Files 3.0.log and 3.1.log are identical