Any stage, whatever its type parameters. Useful as a common supertype.
A stage whose input and output types coincide — an endomorphism on T.
T