Partial values

Partial value. Represented an endomorphism, which is a Monoid
under id and '(.)'. Then mempty is the completely undefined value,
and in u `@'mappend'@` v, v selectively replaces parts of u. The
Endo instances for Pair, Unpair, Copair, Unfun, and Cofun
are all very useful on partial values.