id	Summary	Status	Keywords	Owner	Type	Priority
1176	Support capturing multiple value type in `forall`, etc.	new	scrutinizer		enhancement	minor
809	allow to specify argument-type enforcement in type signatures	assigned	scrutinizer	felix winkelmann	enhancement	not urgent at all