mkInsnb :: PP.Doc -> [PP.Doc] -> [PP.Doc] -> PP.Doc
mkInsnb name bargs args =
  name <+> PP.braces (M.mconcat (PP.punctuate ", " bargs)) <> "," <+> M.mconcat (PP.punctuate ", " args)
mkInsnb :: PP.Doc -> [PP.Doc] -> [PP.Doc] -> PP.Doc
mkInsnb name bargs args =
  name <+> PP.braces (M.mconcat (PP.punctuate ", " bargs)) <> "," <+> M.mconcat (PP.punctuate ", " args)
mkInsnb name bargs args =
  name <+> PP.braces (M.mconcat (PP.punctuate ", " bargs)) <> "," <+> M.mconcat (PP.punctuate ", " args)