better types