Steven Tschantz

Results 1 comments of Steven Tschantz

I want to endorse this report as a serious problem. I too made a small error so that an intended Equivalence instance could not be found, sending the typeclass inference...