-
Robbert Krebbers authored
Otherwise type class search ocasionally unfolds them and finds wrong instances. Based on an issue reported by @jihgfee.
cbf8a057
Otherwise type class search ocasionally unfolds them and finds wrong instances. Based on an issue reported by @jihgfee.