no, dump the indexed monad thing, silly