Output: also put typing in the Output class