# E4057

The constructor is duplicate.

## Erroneous example

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

## Suggestion

Rename the constructor to a different name.

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