TemplateHaskell은 컴파일타임에 실행되는 Q monad란게 있고, 이 Q monad를 실행 해서 얻어지는 하스켈 AST를 컴파일러가 해석함

대충 보니까 IO monad를 Q monad로 리프팅 하는게 가능해서, 아마 컴파일 타임에 IO로 외부 리소스 얻어오는것도 가능 할듯

(안해봐서 진짜 되는지는 모름)


모나드 성애자 색희들 ㅅㅂ...