foreach (p in method.header.ParsedParameters)
{
  | <[ parameter: params $_ : $_ ]> => Message.Hint(p.Location, "params!");
  | _ => ()
}