>>366
Haskellよう知らんけど、それって普通の型安全なマクロと違うの？
コンパイラと直に会話する口がないと、
C++みたいな裏技チックなやり方が必要になりそうな気がするけど。