I have started experimenting with some typefamily/GADT and coyoneda functor stuffs, I am committing it just so I can delete old code without worries now.