My problem seems simple enough but I can\'t seem to find an answer anywhere. I\'m not sure what the difference is between types int and [int ty] in sml. I\'m getting a [tycon mi