# E4032

Compiler diagnostic name: `type_not_found`.

The type is undefined.

This error happens when a type annotation, constructor path, trait bound, or
other type position refers to a type that is not in scope.

## Erroneous example

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

## Suggestion

Use a type that is defined and visible from the current package, or import the
package that defines the type.

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