これってまじですか？
http://research.microsoft.com/Users/simonpj/papers/meta-haskell/

というかAlexandrescuに触発されたとか。。