future work, formatting combinators