locals containing constructed function types can be used as parameter types