Test.MuCheck.TestAdapter
data InterpreterOutput a
type Mutant
type TestStr
data Summary
class Summarizable s