I think the union type thing is cool. As someone who has never worked with something like that before I have to say that I'm not sure I like the conditional inside the function to check the type. I feel like it would be cool if there was some other construct to match on the argument type and then send the arguments to more specifically typed functions.