Noodling with an interpreter for a statically typed language with reified types (e.g. a list knows what type it contains). Currently I have a single representation of types in both the runtime and the type checker. I think that's a good thing?