An experimental reflective programming system written in GHC - Tanaka, Jiro (1989)