Logic

Is Option Some

pure

Is Option Some for an option of the inferred type.

Is Option Some

Wildcards