you can already build something like this with --no-prelude