plug a hole in typechecking of listed arguments in named arg list
that Daniel cleverly exploited in ceylon.html