Incrementally implementing ArrayList<T>, now only extends Monad<T>.