I am trying to convert some old SML (1990) code to SML 1997, and MLton is printing the following error out: Variable type in structure disagrees with signature. variable: flatten structure: ['a] stream stream -> ['a] stream signature: ['b] stream stream -> ['b] stream As near as I can tell, 'a and 'b are both free. Am I confused or is this error message bad?