Graded Monad のメタ言語，普通にプログラミング言語で実装できそうやなって思って，ちょっとやってみることにした．で，前ね …

https://github.com/myuon/ghc-compiler-notes にコントリビュートしたので，それについてと考えてることとか書く．

なお， myuon さんによる紹介記事も参照 …