Type bounds are not shown in type errors

## Minimized code

```Scala
trait G[F[_]]

def f(x: G[List]) = ???

def a: G[[A <: Int] =>> List[A]] = ???
def b = f(a)
```

## Output

```
Found:    G[List]
Required: G[List]
```

## Expectation
I expect type bound `A <: Int` to be shown in error messages so it wouldn't be so confusing
