>>521
generic xxx ...
| include xxx
| a->b => ...
in
　...

複数のモジュールで定義したオーバーロードのマージを
自動でやってくれないと、実用にはちと厳しいけどねぇ。