@hackage th-context0.24

Use these functions to decide an a not-quite naive fashion whether an instance already exists that satisfies a given context. This can be used to decide whether an instance needs to be generated, as in th-reify-many. Known limitation: the instances inserted into the InstMap are not fully recognized when computing the context.