Ilya Yanok (16) [Avatar] Offline
#1
The book says
Otherwise, because of the schema of the data store, entry must itself be
a key-value pair
So I tried to case-split on value, expecting it should become a pair pattern. But somehow Idris produces (wrong) "impossible" case instead.