d4392e047b ^
68aeeae422 ^
1
2 3 4
t3399.scala:23: error: Cannot prove that Nats.Add[Nats._1,Nats._1] =:= Nats._1. implicitly[ Add[_1, _1] =:= _1] ^ one error found