[FreeFull]

That doesn't work for the first step though, where you want to print the file to stdout without processing it in any way

[hawski]

Fair. One could get used to the following for the first step:

  < file.txt cat

But then one has to ctrl-w cat. It is a pity that this is not an alternative to cat for a single file:

  < file.txt