This trick seems to bear a resemblance to the visitor pattern but I’m having trouble following its code.

Anyone care to explain why is the area function a lambda and not a template parameterized member function? And what is the purpose of the Concept class and why isn’t it merged with Model?