exported type should have a comment (here and below)