# E4024

The type/trait is not found.

## Erroneous Example

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

The example above tries to call the method `to_string` from the `Sh0w` type
(or trait), but this type (or trait) is not found in the current scope,
given the following error on line 1:

```
The type/trait Sh0w is not found.
```

## Suggestion

Make sure the type (or trait) name is correct.

In the above example, you can choose to use a proper trait name `Show`:

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

... or a proper type name `Bool`:

```{literalinclude} /sources/error_codes/4024_fixed/top_1.mbt
:language: moonbit
```