[michaelsbradley]

The empty `discard` statement is a do nothing statement; it's not part of the type signature, if that's what you meant.