Just hit this again, this time trying to do this: ...

# compiler

[Rob Elliot]

Just hit this again, this time trying to do this:
typealias Result<F : Throwable, S> = Either<F, S>

Still curious what the reason for Bounds are not allowed on type alias parameters is.

[Karel Petránek]

I guess it makes for a simpler compiler implementation - if you allow type bounds in typealiases, you are effectively creating new types while with the current limitations a simple "string replace" implementation will work. Just a guess though, someone from the compiler team might have a better explanation.