For example: ``` a :: option<Number> = some(5) ``` which is an easy typo of the intended program: ``` a :: Option<Number> = some(5) ```