Logic

Is Option None

pure

Is Option None for an option of the inferred type.

Is Option None

Wildcards