homoiconic

Constructs FAlgebras from typeclasses, making Haskell functions homoiconic.

This library lets you automatically create FAlgebras for many type classes. From these FAlgebras and the free monad, we can generate abstract syntax trees for the type class. This lets us make many functions homoiconic.