Pinocchio library makes intensive use of the so called CRTP desing pattern.
This patterns is used for performance reasons in the implementation of static polymorphism.