emilaxelsson/syntactic — pull request #12 by crockeea (2014-06-05 17:58:59+00:00)
Title: Added Typeable instances, removed TypeUniverse and friends

I added `deriving Typeable` clauses to `Construct`, `AST`, `(:+:)`, `Empty`, and `BindingT`, as requested in issue #11. I removed TypeUniverse.hs, the TypeUniverse folder, and the `Dynamic.hs` benchmark for TypeUniverse.

(This is my first contribution to a project on github, so forgive me if I've done something horribly wrong)