Meta-interpreters and reflective operations in GHC - Tanaka, Jiro (1988)