# E4128

Compiler diagnostic name: `invalid_type_alias_target`.

Target of type alias must not be a type parameter.

## Erroneous example

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

## Suggestion

Use the type directly without using a typealias:

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