February 14, 2016 12:13
diff --git a/Declarations.scala b/Declarations.scala
  import language.higherKinds
  trait A {
    type F[_[_]]
  }

  class  B extends  A{
    override type F[X[_]] = X[Int]
  }
  val b = new B // This is valid
  val a = new A { // But this is not
    override type F[X[_]] = X[Int]
  }
	import language.higherKinds
	trait A {
	type F[_[_]]
	}

	class B extends A{
	override type F[X[_]] = X[Int]
	}
	val b = new B // This is valid
	val a = new A { // But this is not
	override type F[X[_]] = X[Int]
	}