--# -path=.:present

concrete CommentsIta of Comments = CommentsI with 
  (Syntax = SyntaxIta) ;