Constructs FAlgebras from typeclasses, making Haskell functions homoiconic - View it on GitHub