and then we don't even need to but we could just start thinking in terms of tuples like

(Console, ListOptions, Specs) -> IO

and it all becomes utter nonsense especially because the rule graph isn't this absurd nonsense that a compiler engineer pretended was ok, no, it's a production-ready shared library. it's nonsense