> Reimplement array reversal using a for ... in ... loop in the identity monad. Compare it to the tail-recursive function. Array reversal seems to not have been implemented in the book so far.