Type annotation for random generation