Funny coincidence, I just found this video http://www.reddit.com/r/haskell/comments/1l4ph3/dsls_and_tow... back, where the speaker mentions many CT ideas (adjoint functors, galois connections) and end up pointing at abstract interpretation and Lawvere work.