I agree we have to pick a poison here and I didn't know that the Extended Default Rules were the culprit, but I think the end result is scary because forgetting a type signature is about the most common mistake I make. Having that imply that tests will silently pass means (to me) that it's not safe to use Quickcheck with GHCi. Or, just remember to always make properties monomorphic. "Always!"