Generic annoyances.

[kiljacken]

I recently had to write a line of code which annoyed me greatly:

n.Assignment.GetType().BaseType.ActualType().(TupleType)

Is there any reason why we don't eliminate the generic arguments as early as possible so we can avoid wrapping types in yet another layer of stuff?

@MovingtoMars

[MovingtoMars]

I like the idea of an intermediate stage of code between semantic and codegen where interfaces are "flattened out" (this could be helpfulf for a lot of Ark-specific optimisations).
However, I think we should keep generic arguments how they are until after semantic because I think it gives much better error messages. There might be some more reasons to keep them, but I can't think of any right now.