Ilia Murzinov ilya-murzinov

## queens.scala
class Nil
class Cons[X, Xs]

class First[List] { type X }
object First {
  type Aux[List, X0] = First[List] { type X = X0 }

  implicit val nilFirst: Aux[Nil, Nil] = ???
  implicit def consFirst[X0, Xs]: Aux[Cons[X0, Xs], X0] = ???
}
	class Nil
	class Cons[X, Xs]

	class First[List] { type X }
	object First {
	type Aux[List, X0] = First[List] { type X = X0 }

	implicit val nilFirst: Aux[Nil, Nil] = ???
	implicit def consFirst[X0, Xs]: Aux[Cons[X0, Xs], X0] = ???
	}