A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages