Expression tuples containing types are different from the type of a tuple

I don't know how to even approach fixing this, or if I even need to.