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