added tight-rope >>= exercise using Error monad (maybe could've used Either Monad?)