# autogen of all hasura types