Updated .cabal file, hosting on GitHub.
Added a prelude module for all the constraints stuff.
Strongly trimmed cabal package description, referring to README / examples etc. instead.
Introduced arrows.
Work on Kleisli arrows. 'Curry' instance not good yet.
Got uncurry working for Kleisli arrows (not curry, though).
Implemented curry for Kleisli arrows.
Inlined 'curry' and 'uncurry' for Kleisli arrows.

It turned out to be much simpler (quite as initially expected), not requiring local type signatures.
Added very rudimentary example for 'Kleisli Set Preorder' arrow.

Sadly, arrow syntax can't seem to work (yet?) with the constrained arrows.
Misc package improvements.

Consistent license info, homepage reference, 'Trustworthy' safe Haskell.
Fixed signature of 'fmap' (wrong order of categories).
Added standard utility ('liftAɴ') functions to 'Applicative'.