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 sw

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#.