Add docs for @derive