Corrected composition some.
List is complete-ish and implements a Functor.
Can't continue until I commit nothing.