Use for: fiction where humour is the primary aim & feature except prefer genre-specific ‘humorous’ headings where available. Use with: other F* codes as appropriate