Ilya Yanok (16) [Avatar] Offline
#1
I don't really buy why it's impossible to use impossible smilie here. Author probably wanted to introduce us to absurd and Uninhabited but here it's perfectly possible to just pattern match on the Elem proof...