On Sunday, 4 November 2012 at 16:44:30 UTC, evansl wrote: > that instantiating a template is inherently expensive Just a guess, but perhaps pattern-matching templates is NP-complete?