Corrected typo in readme.
Added category module. Up for reboot with 'Category' at the basis...
Reboot of the project, properly starting with the 'Category' class.
New constrained category class. The constraint has the obvious name 'Object' now.
Added Functor module. Almost an exact copy of 'Control.Categorical.Functor'.
Added 'ConstrainedCategory' newtype, to facilitate defining new categories that use the same morphisms of a more general one (e.g. Hask functions) but only on a more restricted class of objects.
Constrained applicative class.
Misc cleanup.

Added fixities for '.' and '<*>'; removed unnecessary extensions & imports.
Monads done.
Re-exported the more fundamental classes in each module (Category -> Functor -> Applicative -> Monad).
'ConstrainedCategory' should have a generic 'Category' instance after all, otherwise that newtype would be rather useless.
Added 'constrainedFmap' transformer, to facilitate definition of constrained functors.
Added forgetful functor. Not sure how useful this really is; it allows omitting some 'unconstrained' but introduces some boilerplate of its own.
Generalised function application.

Quite an unusual way to go, but this is really effective at reducing boilerplate when dealing with constrained function-categories.
Various attempts to make 'Applicative' usable in a constrained setting.

As was already seen previously, this is not quite easy because it's unclear what morphisms as functor arguments are supposed to mean. Introduction of the 'Curry' class allows defining 'Monoidal', which is (at least in Hask) equivalent to 'Applicative'; but there can't seem to arise a good constrained implementation of '<*>'.
Got 'Applicative' back working, though the focus is now on 'Monoidal'.

'<*>' now has an extremely complicated signature, probably only feasible for trivial categories.
Moved 'fpure' from 'Monoidal' to 'Applicative'. No particular reason, but feels more natural.
Made 'Applicative' (or at least 'Monoidal') practially usable for 'ConstrainedCategory's.
Some fixes in 'Monad'. Doesn't quite work yet, but very nearly.
Added example of use of the Set functor in an Ord-constraint category.