bf584e5320 ^
b6778be919 ^
1
2
3 4
5
6 7 8
object Test { trait Expression[A,B] case class Lift[A,B,F[_]]() extends Expression[F[A],F[B]] def simplify[A,B]: Expression[A,B] = Lift[A,B]() }