publish Free Monads Just Got Cheaper