abstract class TypeAnnotations[@scala.specialized R] extends java.lang.Object {
  def this() = { /* compiled code */ }
  @scala.specialized
  val x : scala.Int = { /* compiled code */ }
  @scala.specialized
  type T
  def compose[@scala.specialized A](x : A, y : R) : A = { /* compiled code */ }
}