i guess i was thinking that using the literal types ties it "too much" to what's actually in the types, but again that means that type names and like using the "right" type becomes more important which i totally agree with