# E4041

Partial type annotation is not allowed in toplevel declaration.

## Erroneous Example

```{literalinclude} /sources/error_codes/4041_error/top.mbt
:language: moonbit
```

The example above tries to create a top-level instance of the `Option[_]` type.
However, partial type annotation is not allowed in toplevel declaration,
giving the aforementioned error on line 1.

## Suggestion

Make sure to provide a complete type annotation:

```{literalinclude} /sources/error_codes/4041_fixed/top.mbt
:language: moonbit
```