the streaming output should be a property of the compile itself, rather than of

check

in particular: so you can mark the compiler result type