They should rewrite the tax code in Haskell. Not only would that simplify it greatly, it'd also lead to a significant increase in the number of MonadFactoryFactories in Enterprise tax-handling code, which might ultimately motivate Oracle to add higher kinded polymorphism to Java. One can always dream...