-
Adrian Marti authored
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.
b095276c
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.