Comment by klibertp

    int option 

which is basically a variant/union like this:

    Result of 'a | Void

You could also have a `discard` or `ignore` function/operator, which can swallow every type, so it doesn't matter what it was. Some languages actually require you to use such operators, for example, Nim and F#.