add a function instance for Universe in preparation for writing function instances of Eq/Ord/Show/Read
function instances for Eq, Ord, Show, Read
in anticipation of depending on representable-functors, which uses TypeFamilies anyway, get rid of this extension-avoiding hack
reorder code a little
support for Representable
fix haddocks
update cabal file