27 Jan
2011
27 Jan
'11
6:27 p.m.
I, of course, read too fast. Discard previous answer. Now question, why do you need this apparently useless feature ? can't you pass nullary metafunction along ?