Simplifies types such as
({type l[a] = Either[String, a]})#l[Int]

to
Either[String, Int]