Types are useful for squeezing more performance.