More or less as described here. My ideal use case would be to put up some Ṁ amount associated with a specific (probably curated) group of markets, paid out to the top N bettors (or all bettors?) proportional to their winnings on a specific date (or maybe once all markets have resolved).

If you implement this feature, leave a comment and I'll award you the bounty.

If you want this feature too, add to the bounty! Click the three dots at the top right, then "Add bounty".