Another try at category theory in haskell,

cont-encoded to allow for higher-kinded constructions