Hofstadter's MU problem in miniKanren