This happens at runtime. I want something in the type system.