Added document about free monads.