finished proof that my ListT monad transformer is indeed a monad