[NTG-context] A dumb question about MetaFun