Re[2]: [NTG-context] metafun manual