The trick of assigning to the two strict-proof typeglobs is cute, but I can't really recommend it seriously.