Define the coproduct over the functorial ADT, not its free monad

Signed-off-by: Ricky Elrod <ricky@elrod.me>
interpreter for ConsoleFileFree

Signed-off-by: Ricky Elrod <ricky@elrod.me>