better types in the documentation