liftという単語でてるし、Haskellのモナドかどうかはしらないけど、
自己反映言語のリフレクションもモナド化できる気がするんだけどね。