abstract class TypeAnnotations[@scala.specialized R] extends scala.AnyRef {
  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 */ }
}