úÎ3[ #(C) 2015-2016, University of TwenteBSD2 (see the file LICENSE)-Christiaan Baaij <christiaan.baaij@gmail.com>NoneUZ \Create a new [W]anted constraint that remembers from which wanted constraint it was derived!Create a new [W]anted constraint.\Create a new [G]iven constraint, with the supplied evidence. This must not be invoked from   or  , or it will panic."Create a new [D]erived constraint.The   equivalent for 'Mark the given constraint as insoluble.'If the [W]anted constraint was made by Š, it will also mark the parent(s) from which the constraint was derived as insoluble. Even if they were previously assumed to be solved. Find a moduleFind a   in a   given an ^Print out extra information about the initialisation, stop, and every run of the plugin when -ddump-tc-trace is enabled. 0Constraint from which the new wanted is derivedThe type of the new constraintName the coercion should have'The LHS of the equivalence relation (~)'The RHS of the equivalence relation (~)Name of the module)Name of the package containing the module            ghctc_2Xrf8KYz8gw4szHkN3jhahGHC.TcPluginM.ExtraUnsafe unsafeCoercenewWantedWithProvenance newWantednewGiven newDerivedevByFiatfailWithProvenace lookupModule lookupName tracePluginghc TcRnTypes tcPluginInit tcPluginStop TcEvidenceEvTermNameModuleOccNameinitializeStaticFlags