Expression Problem:
Manzyuk - From Object Algebras to Final Tagless Interpreters slides
https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/