Following up on review. Appreciating the hint, it makes a lot of sense to
add comments for such things.
1 patch for repository http://darcs.net/screened:
patch 38deaa6e7fa1cf8f4f45d798b866bcc49558c70a
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Mar 2 14:59:17 CET 2020
* index: add comment to justify a partial pattern match