added monads and Kleisli triples
s/fmap-id/identity and s/fmap-comp/composition
added the identity monad and triple
added the list monad and triple