Re: [NTG-context] Metafun example doesn't work