Details in documentation and types