Great article!  It might benefit from a comparison with Oleg&#x27;s Typed tagless-final interpretations (<a href="http:&#x2F;&#x2F;okmij.org&#x2F;ftp&#x2F;tagless-final&#x2F;course&#x2F;" rel="nofollow">http:&#x2F;&#x2F;okmij.org&#x2F;ftp&#x2F;tagless-final&#x2F;course&#x2F;</a>).