Haskell has a cool macro system : template haskell. So it comes down to typing.