.pm6

die 'term parameter list is not a list' if $term !~~ List;
die 'term parameter has no type' if $term.elems !%% 2;
my @names = $term[0, 2 ... *];
die 'term parameter name must be symbol' unless all(@names) ~~ Symbol;
my @types = $term[1, 3 ... *].map({self.type-expr($_)});
(@names, @types);