Although perhaps a `SingletonType` ought to override `finalResultType` to just return this, rather than inheriting:

```scala
// SimpleTypeProxy
override def finalResultType = underlying.finalResultType
```